diff options
Diffstat (limited to 'src/parser/tptp/tptp.cpp')
| -rw-r--r-- | src/parser/tptp/tptp.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index b674b12dc..9d3bd4b1c 100644 --- a/src/parser/tptp/tptp.cpp +++ b/src/parser/tptp/tptp.cpp @@ -14,10 +14,11 @@ ** Definitions of TPTP constants. **/ +// Do not #include "parser/antlr_input.h" directly. Rely on the header. +#include "parser/tptp/tptp.h" + #include "expr/type.h" #include "parser/parser.h" -#include "parser/tptp/tptp.h" -#include "parser/antlr_input.h" // ANTLR defines these, which is really bad! #undef true |