Adding SmtEngine::setLogic(const char* logic) so that smt.setLogic("QF_LRA"); works.

1 files changed, 6 insertions, 0 deletions

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index b5ed59912..0f755aa01 100644
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -735,6 +735,12 @@ void SmtEngine::setLogic(const std::string& s) throw(ModalException) {
   setLogic(LogicInfo(s));
 }
 
+void SmtEngine::setLogic(const char* logic) throw(ModalException){
+  SmtScope smts(this);
+
+  setLogic(LogicInfo(string(logic)));
+}
+
 LogicInfo SmtEngine::getLogicInfo() const {
   return d_logic;
 }