diff options
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index d3af9143a..355b58067 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -13,14 +13,14 @@ ** ** Definitions of SMT2 constants. **/ +#include "parser/smt2/smt2.h" + #include "expr/type.h" -#include "expr/command.h" +#include "parser/antlr_input.h" #include "parser/parser.h" #include "parser/smt1/smt1.h" -#include "parser/smt2/smt2.h" -#include "parser/antlr_input.h" - +#include "smt_util/command.h" #include "util/bitvector.h" // ANTLR defines these, which is really bad! |