Cleaning up some header files

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 */