diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-04 21:57:53 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-04 21:57:53 +0000 |
| commit | 1571e73e83ecb5fec2f2ddd599bd3823e8f532e7 (patch) | |
| tree | b4c69f6e4537f93d23d20d1554ae485615138e9c /src | |
| parent | 67a3ba16218ca0a936a6f2430dce721a076885f3 (diff) | |
Minor change to SMT v2 grammar
Diffstat (limited to 'src')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 76ce91fd0..19997cdd0 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -137,8 +137,9 @@ command returns [CVC4::Command* cmd] SExpr sexpr; } : /* set the logic */ - SET_LOGIC_TOK symbol[name,CHECK_NONE,SYM_VARIABLE] - { Debug("parser") << "set logic: '" << name << "' " << std::endl; + SET_LOGIC_TOK SYMBOL + { name = AntlrInput::tokenText($SYMBOL); + Debug("parser") << "set logic: '" << name << "' " << std::endl; setLogic(PARSER_STATE,name); $cmd = new SetBenchmarkLogicCommand(name); } | SET_INFO_TOK KEYWORD symbolicExpr[sexpr] @@ -425,7 +426,7 @@ TILDE_TOK : '~'; XOR_TOK : 'xor'; /** - * Matches a symbol from the input. A symbol is a "simple" symbole or a + * Matches a symbol from the input. A symbol is a "simple" symbol or a * sequence of printable ASCII characters that starts and ends with | and * does not otherwise contain |. */ @@ -435,7 +436,7 @@ SYMBOL ; /** - * Matches a keyword from the input. A keyword is a symbol symbol, prefixed + * Matches a keyword from the input. A keyword is a simple symbol prefixed * with a colon. */ KEYWORD |