diff options
Diffstat (limited to 'src/parser/tptp/tptp.h')
-rw-r--r-- | src/parser/tptp/tptp.h | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/parser/tptp/tptp.h b/src/parser/tptp/tptp.h index 2cd8f4339..4fdbc236d 100644 --- a/src/parser/tptp/tptp.h +++ b/src/parser/tptp/tptp.h @@ -19,13 +19,14 @@ #ifndef __CVC4__PARSER__TPTP_H #define __CVC4__PARSER__TPTP_H -#include "parser/parser.h" -#include "expr/command.h" -#include "util/hash.h" -#include <ext/hash_set> #include <cassert> -#include "parser/options.h" +#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" namespace CVC4 { |