diff options
Diffstat (limited to 'tests/prefix_r.l')
| -rw-r--r-- | tests/prefix_r.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/prefix_r.l b/tests/prefix_r.l index 848ac3e..a2d4c1a 100644 --- a/tests/prefix_r.l +++ b/tests/prefix_r.l @@ -31,7 +31,7 @@ %} %option reentrant %option 8bit prefix="FOO" -%option nounput nomain noyywrap +%option nounput nomain noyywrap noinput %option warn |