diff options
Diffstat (limited to 'src/parser/smt/smt_parser.g')
-rw-r--r-- | src/parser/smt/smt_parser.g | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g index be6f6cf83..301859a37 100644 --- a/src/parser/smt/smt_parser.g +++ b/src/parser/smt/smt_parser.g @@ -96,7 +96,8 @@ benchAttribute returns [Command* smt_command = 0] SetBenchmarkStatusCommand::BenchmarkStatus b_status = SetBenchmarkStatusCommand::SMT_UNKNOWN; } : LOGIC_ATTR logic = identifier - { smt_command = new SetBenchmarkLogicCommand(logic); } + { setLogic(logic); + smt_command = new SetBenchmarkLogicCommand(logic); } | ASSUMPTION_ATTR formula = annotatedFormula { smt_command = new AssertCommand(formula); } | FORMULA_ATTR formula = annotatedFormula |