diff options
| author | Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com> | 2020-11-30 13:32:51 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-30 13:32:51 -0600 |
| commit | aa7585a6083884ad76ecc83af60020403096129a (patch) | |
| tree | bd3fcc79604a2f49d87160e20a14a38cc689f2a2 /src/parser/tptp | |
| parent | 9f372f084f5c558e3ff618d02abfdb384a82e066 (diff) | |
Eliminate uses of SExpr from the parser. (#5496)
This is a step towards migrating Commands to the API. SExpr is an internal module that's not used by the API but is used by the parser and some commands. This PR replaces SExpr with terms of kind SEXPR in the parser and strings in commands (which brings them more inline with the API).
Diffstat (limited to 'src/parser/tptp')
| -rw-r--r-- | src/parser/tptp/Tptp.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/tptp/Tptp.g b/src/parser/tptp/Tptp.g index 447a867c8..6b66b5422 100644 --- a/src/parser/tptp/Tptp.g +++ b/src/parser/tptp/Tptp.g @@ -259,7 +259,7 @@ parseCommand returns [CVC4::Command* cmd = NULL] if(filename.substr(filename.length() - 2) == ".p") { filename = filename.substr(0, filename.length() - 2); } - seq->addCommand(new SetInfoCommand("filename", SExpr(filename))); + seq->addCommand(new SetInfoCommand("filename", filename)); if(PARSER_STATE->hasConjecture()) { seq->addCommand(new QueryCommand(SOLVER->mkFalse())); } else { |