From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 30 May 2018 23:28:58 +0000 (-0700)
Subject: Ignore license key in set-info command. (#2021)
X-Git-Tag: cvc5-1.0.0~4992
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6f62423418ec1be8eb353acb971588e2698e8470;p=cvc5.git

Ignore license key in set-info command. (#2021)
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 86bc66f50..9d10e72be 100644
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -2359,10 +2359,12 @@ void SmtEngine::setInfo(const std::string& key, const CVC4::SExpr& value)
   }
 
   // Check for standard info keys (SMT-LIB v1, SMT-LIB v2, ...)
-  if(key == "source" ||
-     key == "category" ||
-     key == "difficulty" ||
-     key == "notes") {
+  if (key == "source"
+   || key == "category"
+   || key == "difficulty"
+   || key == "notes"
+   || key == "license")
+  {
     // ignore these
     return;
   } else if(key == "name") {