diff options
Diffstat (limited to 'src/parser/parser.h')
-rw-r--r-- | src/parser/parser.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/parser/parser.h b/src/parser/parser.h index ed7db63cf..f7adb2b89 100644 --- a/src/parser/parser.h +++ b/src/parser/parser.h @@ -27,24 +27,23 @@ #include "input.h" #include "parser_exception.h" -#include "parser_options.h" #include "expr/declaration_scope.h" -#include "expr/expr.h" #include "expr/kind.h" -#include "util/Assert.h" namespace CVC4 { // Forward declarations class BooleanType; +class Expr; class ExprManager; class Command; class FunctionType; -class KindType; class Type; namespace parser { +class Input; + /** Types of check for the symols */ enum DeclarationCheck { /** Enforce that the symbol has been declared */ |