diff options
Diffstat (limited to 'src/parser/antlr_input.h')
| -rw-r--r-- | src/parser/antlr_input.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h index 2086db714..baec46e6f 100644 --- a/src/parser/antlr_input.h +++ b/src/parser/antlr_input.h @@ -36,14 +36,14 @@ #include <vector> #include <cassert> +#include "base/output.h" #include "parser/bounded_token_buffer.h" -#include "parser/parser_exception.h" #include "parser/input.h" - +#include "parser/parser_exception.h" #include "util/bitvector.h" #include "util/integer.h" #include "util/rational.h" -#include "util/output.h" + namespace CVC4 { |