diff options
Diffstat (limited to 'src/parser/tptp/tptp.h')
| -rw-r--r-- | src/parser/tptp/tptp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h index 4fdbc236d..5e00ea1ce 100644 --- a/src/parser/tptp/tptp.h +++ b/src/parser/tptp/tptp.h @@ -14,6 +14,8 @@ ** Definitions of TPTP constants. **/ +#include "parser/antlr_input.h" // Needs to go first. + #include "cvc4parser_private.h" #ifndef __CVC4__PARSER__TPTP_H @@ -22,8 +24,6 @@ #include <cassert> #include <ext/hash_set> -#include "options/parser_options.h" -#include "parser/antlr_input.h" #include "parser/parser.h" #include "smt_util/command.h" #include "util/hash.h" |