diff options
Diffstat (limited to 'src/parser/smtlib_scanner.lpp')
| -rw-r--r-- | src/parser/smtlib_scanner.lpp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/parser/smtlib_scanner.lpp b/src/parser/smtlib_scanner.lpp index 70026bd4c..e9a58b1a9 100644 --- a/src/parser/smtlib_scanner.lpp +++ b/src/parser/smtlib_scanner.lpp @@ -22,12 +22,14 @@ #include <iostream> #include "parser_state.h" +#include "smt/smt_engine.h" +#include "util/command.h" #include "smtlib.hpp" namespace CVC4 { -namespace parser { - extern ParserState* _global_parser_state; -} + namespace parser { + extern ParserState* _global_parser_state; + } } using CVC4::parser::_global_parser_state; @@ -42,7 +44,7 @@ extern char *smtlibtext; %x COMMENT %x STRING_LITERAL -%x SYM_TOK + //%x SYM_TOK %x USER_VALUE LETTER ([a-zA-Z]) |