diff options
Diffstat (limited to 'src/parser/smt2/smt2.h')
-rw-r--r-- | src/parser/smt2/smt2.h | 4 |
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); |