diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
| -rw-r--r-- | src/parser/cvc/Cvc.g | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 0c356ca57..460b1ee03 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -476,10 +476,10 @@ Expr addNots(ExprManager* em, size_t n, Expr e) { # define ANTLR3_INLINE_INPUT_8BIT #endif /* CVC4_COMPETITION_MODE && !CVC4_SMTCOMP_APPLICATION_TRACK */ -#include "parser/antlr_tracing.h" -#include "util/integer.h" #include "parser/antlr_input.h" +#include "parser/antlr_tracing.h" #include "parser/parser.h" +#include "util/integer.h" }/* @lexer::includes */ @@ -487,10 +487,10 @@ Expr addNots(ExprManager* em, size_t n, Expr e) { #include <stdint.h> #include <cassert> -#include "expr/command.h" +#include "parser/antlr_tracing.h" #include "parser/parser.h" +#include "smt_util/command.h" #include "util/subrange_bound.h" -#include "parser/antlr_tracing.h" namespace CVC4 { class Expr; @@ -541,16 +541,17 @@ namespace CVC4 { @parser::postinclude { +#include <sstream> +#include <string> +#include <vector> + +#include "base/output.h" #include "expr/expr.h" #include "expr/kind.h" #include "expr/type.h" #include "parser/antlr_input.h" #include "parser/parser.h" -#include "util/output.h" -#include <vector> -#include <string> -#include <sstream> #define REPEAT_COMMAND(k, CommandCtor) \ ({ \ |