diff options
Diffstat (limited to 'src/parser/tptp/Tptp.g')
| -rw-r--r-- | src/parser/tptp/Tptp.g | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 62dcc70f5..a2bad4988 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -83,7 +83,7 @@ using namespace CVC4::parser; }/* @lexer::postinclude */ @parser::includes { -#include "expr/command.h" +#include "smt_util/command.h" #include "parser/parser.h" #include "parser/tptp/tptp.h" #include "parser/antlr_tracing.h" @@ -92,6 +92,11 @@ using namespace CVC4::parser; @parser::postinclude { +#include <algorithm> +#include <iterator> +#include <vector> + +#include "base/output.h" #include "expr/expr.h" #include "expr/kind.h" #include "expr/type.h" @@ -99,11 +104,7 @@ using namespace CVC4::parser; #include "parser/parser.h" #include "parser/tptp/tptp.h" #include "util/integer.h" -#include "util/output.h" #include "util/rational.h" -#include <vector> -#include <iterator> -#include <algorithm> using namespace CVC4; using namespace CVC4::parser; @@ -203,7 +204,7 @@ parseCommand returns [CVC4::Command* cmd = NULL] filename = filename.substr(0, filename.length() - 2); } CommandSequence* seq = new CommandSequence(); - seq->addCommand(new SetInfoCommand("name", filename)); + seq->addCommand(new SetInfoCommand("name", SExpr(filename))); if(PARSER_STATE->hasConjecture()) { seq->addCommand(new QueryCommand(MK_CONST(bool(false)))); } else { |