diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-11-28 02:59:11 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-11-28 02:59:11 +0000 |
| commit | dff2298c59f3550b1c3873b0d9fe9691f6f658d4 (patch) | |
| tree | 09be279aaecc16cc25086ca901762433de1d055c /src/parser/smtlib_scanner.lpp | |
| parent | a47310931191a69bddc45bea4a0cf63e3379c2fb (diff) | |
Added an EmptyCommand and a CommandSequence commands and changed the parser a bit.
Diffstat (limited to 'src/parser/smtlib_scanner.lpp')
| -rw-r--r-- | src/parser/smtlib_scanner.lpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smtlib_scanner.lpp b/src/parser/smtlib_scanner.lpp index 4d9cb8213..70026bd4c 100644 --- a/src/parser/smtlib_scanner.lpp +++ b/src/parser/smtlib_scanner.lpp @@ -17,8 +17,8 @@ %option noyymore %option yylineno %option prefix="smtlib" - -%{ + +%{ #include <iostream> #include "parser_state.h" |