index 43b248d0f470b1c5f8dc39ea0ff59a14695d57d3..3ec4b04f32f2ce302064866f63b0cd7e15910594 100644 (file)
%}
%option interactive
+%option 8bit
%option yylineno
+%option nodefault
%option noyywrap
%option verbose
+%option warn
%%