diff options
Diffstat (limited to 'src/parser/antlr_input.h')
| -rw-r--r-- | src/parser/antlr_input.h | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h index d86a18004..c88f368d2 100644 --- a/src/parser/antlr_input.h +++ b/src/parser/antlr_input.h @@ -28,12 +28,10 @@ #include <string> #include <vector> -#include "parser/input.h" -#include "parser/parser_options.h" -#include "parser/parser_exception.h" -#include "parser/bounded_token_buffer.h" -#include "expr/expr.h" -#include "expr/expr_manager.h" +#include "bounded_token_buffer.h" +#include "parser_exception.h" +#include "input.h" + #include "util/Assert.h" #include "util/bitvector.h" #include "util/integer.h" |