diff options
Diffstat (limited to 'src/parser/bounded_token_buffer.cpp')
| -rw-r--r-- | src/parser/bounded_token_buffer.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/parser/bounded_token_buffer.cpp b/src/parser/bounded_token_buffer.cpp index f53b6d548..1418e8f3c 100644 --- a/src/parser/bounded_token_buffer.cpp +++ b/src/parser/bounded_token_buffer.cpp @@ -35,8 +35,7 @@ #include <antlr3lexer.h> #include <antlr3tokenstream.h> -#include "bounded_token_buffer.h" -#include "cvc4_config.h" +#include "parser/bounded_token_buffer.h" #include "util/Assert.h" namespace CVC4 { |