diff options
Diffstat (limited to 'test/ragel.d/empty1.rl')
-rw-r--r-- | test/ragel.d/empty1.rl | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/test/ragel.d/empty1.rl b/test/ragel.d/empty1.rl deleted file mode 100644 index 39078902..00000000 --- a/test/ragel.d/empty1.rl +++ /dev/null @@ -1,15 +0,0 @@ -/* - * @LANG: indep - */ - -%%{ - machine empty1; - main := empty; -}%% - -##### INPUT ##### -"" -"x" -##### OUTPUT ##### -FAIL -FAIL |