diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-26 18:17:13 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-26 18:17:13 +0000 |
commit | f4969cca302fe640fed334cf9cbf8e032b468ae6 (patch) | |
tree | b8270886391fc10a5859ac12488824983ae25d84 /src/parser/parser.h | |
parent | 88838a403d526a12c8fcd71626e5b9d4d2e43cb0 (diff) |
Cleaning up some header files
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 */ |