fix a "lost command" bug and associated memory leak in SMT-LIBv1 parser due to an...

diff --git a/src/parser/smt/Smt.g b/src/parser/smt/Smt.g
index 083bdf3b5a649a4c17fc1ac425e3db288d8ecd5f..932d9be7885c242b518bba328e9e33f7c3306644 100644 (file)
--- a/src/parser/smt/Smt.g
+++ b/src/parser/smt/Smt.g
@@ -193,8 +193,8 @@ benchAttribute returns [CVC4::Command* smt_command = NULL]
   | STATUS_TOK status[b_status]
     { smt_command = new SetBenchmarkStatusCommand(b_status); }
   | EXTRAFUNS_TOK LPAREN_TOK
-    ( { smt_command = new CommandSequence(); }
-      functionDeclaration[c]
+    { smt_command = new CommandSequence(); }
+    ( functionDeclaration[c]
       { ((CommandSequence*) smt_command)->addCommand(c); }
     )+ RPAREN_TOK
   | EXTRAPREDS_TOK LPAREN_TOK