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.