diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-22 15:02:43 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-22 15:03:41 -0400 |
commit | e6158285f826a33c4134def3e32b53e40483a173 (patch) | |
tree | c4e3ce5c36b983275e442cace9856d82647d4296 /src | |
parent | d69a876f0701441f7115828a5044c628e53abdd5 (diff) |
Fix SMT1 parser :extrasorts/:extrapreds.
Diffstat (limited to 'src')
-rw-r--r-- | src/parser/smt1/Smt1.g | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/smt1/Smt1.g b/src/parser/smt1/Smt1.g index ae06ddc01..a885fe990 100644 --- a/src/parser/smt1/Smt1.g +++ b/src/parser/smt1/Smt1.g @@ -205,13 +205,13 @@ benchAttribute returns [CVC4::Command* smt_command = NULL] { ((CommandSequence*) smt_command)->addCommand(c); } )+ RPAREN_TOK | EXTRAPREDS_TOK LPAREN_TOK - ( { smt_command = new CommandSequence(); } - predicateDeclaration[c] + { smt_command = new CommandSequence(); } + ( predicateDeclaration[c] { ((CommandSequence*) smt_command)->addCommand(c); } )+ RPAREN_TOK | EXTRASORTS_TOK LPAREN_TOK - ( { smt_command = new CommandSequence(); } - sortDeclaration[c] + { smt_command = new CommandSequence(); } + ( sortDeclaration[c] { ((CommandSequence*) smt_command)->addCommand(c); } )+ RPAREN_TOK | NOTES_TOK STRING_LITERAL |