diff options
Diffstat (limited to 'src/parser/antlr_input.cpp')
-rw-r--r-- | src/parser/antlr_input.cpp | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index 1d2dbd736..21e48b19e 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -18,23 +18,22 @@ #include <antlr3.h> #include <stdint.h> +#include "base/output.h" +#include "expr/type.h" #include "parser/antlr_input.h" -#include "parser/input.h" +#include "parser/antlr_line_buffered_input.h" #include "parser/bounded_token_buffer.h" #include "parser/bounded_token_factory.h" -#include "parser/antlr_line_buffered_input.h" +#include "parser/cvc/cvc_input.h" +#include "parser/input.h" #include "parser/memory_mapped_input_buffer.h" -#include "parser/parser_exception.h" #include "parser/parser.h" - -#include "expr/command.h" -#include "expr/type.h" -#include "parser/cvc/cvc_input.h" +#include "parser/parser_exception.h" #include "parser/smt1/smt1_input.h" #include "parser/smt2/smt2_input.h" #include "parser/smt2/sygus_input.h" #include "parser/tptp/tptp_input.h" -#include "util/output.h" +#include "smt_util/command.h" using namespace std; using namespace CVC4; |