diff options
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index 618b1c8ab..4f0502f24 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -18,10 +18,10 @@ #include <string> #include <iostream> + #include "cvc4_config.h" #include "parser/parser_exception.h" #include "util/Assert.h" -#include "antlr_parser.h" namespace antlr { class CharScanner; @@ -36,6 +36,8 @@ class ExprManager; namespace parser { +class AntlrParser; + /** * The parser. The parser should be obtained by calling the static methods * getNewParser, and should be deleted when done. |