Re-enable UNTERMINATED_QUOTED_SYMBOL rules.

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 8a2fa52255e2838fab537baf2decbe732ab0095f..8590229a2017407e8abd7aec9a1212be8b4446ba 100644 (file)
--- 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