From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 11 Nov 2013 16:51:07 +0000 (-0500)
Subject: Expanded usefulness of (set-info :cvc4-logic ...)
X-Git-Tag: cvc5-1.0.0~7266^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8918399152f1121938c336f90724631b07e2c549;p=cvc5.git

Expanded usefulness of (set-info :cvc4-logic ...)
---

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index c7e088124..f3855e713 100644
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -236,6 +236,9 @@ command returns [CVC4::Command* cmd = NULL]
       $cmd = new SetBenchmarkLogicCommand(name); }
   | SET_INFO_TOK KEYWORD symbolicExpr[sexpr]
     { name = AntlrInput::tokenText($KEYWORD);
+      if(name == ":cvc4-logic" || name == ":cvc4_logic") {
+        PARSER_STATE->setLogic(sexpr.getValue());
+      }
       PARSER_STATE->setInfo(name.c_str() + 1, sexpr);
       cmd = new SetInfoCommand(name.c_str() + 1, sexpr); }
   | /* get-info */