1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h
index 9bd85d7bc..72310b5a4 100644
--- a/src/parser/smt2/smt2.h
+++ b/src/parser/smt2/smt2.h
@@ -22,7 +22,7 @@
 #define __CVC4__PARSER__SMT2_H
 
 #include "parser/parser.h"
-#include "parser/smt/smt.h"
+#include "parser/smt1/smt1.h"
 
 #include <sstream>
 
@@ -48,7 +48,7 @@ public:
 
 private:
   bool d_logicSet;
-  Smt::Logic d_logic;
+  Smt1::Logic d_logic;
 
 protected:
   Smt2(ExprManager* exprManager, Input* input, bool strictMode = false, bool parseOnly = false);