minor changes

This commit is contained in:
Pedro 2014-10-23 16:31:17 +02:00
parent 4415273e2e
commit ac71302a49
3 changed files with 6 additions and 3873 deletions

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

View File

@ -27,13 +27,16 @@
%option outfile="flex_lexer.cpp" %option outfile="flex_lexer.cpp"
/* Make reentrant */ /* Make reentrant */
%option reentrant bison-bridge %option reentrant
%option bison-bridge
/* performance tweeks */ /* performance tweeks */
%option never-interactive batch %option never-interactive
%option batch
/* other flags */ /* other flags */
%option noyywrap warn %option noyywrap
%option warn
%option case-insensitive %option case-insensitive
/* %option nodefault */ /* %option nodefault */