diff options
-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 |