diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 02:56:37 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 03:15:46 -0400 |
| commit | 2b87a7546e15db91d39c7824390397e87eadc6d4 (patch) | |
| tree | b1519afa5a17c3f905d9d8b2a396b36c582e50a8 | |
| parent | 5f1cb5037e00c842338d5093e4bae6f1fdeacc67 (diff) | |
Re-enable UNTERMINATED_QUOTED_SYMBOL rules.
| -rw-r--r-- | src/parser/smt2/Smt2.g | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 8a2fa5225..8590229a2 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1557,12 +1557,12 @@ symbol[std::string& id, PARSER_STATE->checkDeclaration(id, check, type); } } - /*| UNTERMINATED_QUOTED_SYMBOL + | UNTERMINATED_QUOTED_SYMBOL ( EOF { PARSER_STATE->unexpectedEOF("unterminated |quoted| symbol"); } | '\\' { PARSER_STATE->unexpectedEOF("backslash not permitted in |quoted| symbol"); } - )*/ + ) ; /** @@ -1803,9 +1803,9 @@ EMPTYSET_TOK: { PARSER_STATE->isTheoryEnabled(Smt2::THEORY_SETS) }? 'emptyset'; QUOTED_SYMBOL : '|' ~('|' | '\\')* '|' ; -/*UNTERMINATED_QUOTED_SYMBOL +UNTERMINATED_QUOTED_SYMBOL : '|' ~('|' | '\\')* - ;*/ + ; /** * Matches a keyword from the input. A keyword is a simple symbol prefixed |