From f25292c6a2f957b9dab9df2bb19892071387fd50 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Sat, 1 Dec 2012 00:08:38 +0000
Subject: [PATCH] Adding SmtEngine::setLogic(const char* logic) so that
 smt.setLogic("QF_LRA"); works.

---
 src/smt/smt_engine.cpp | 6 ++++++
 src/smt/smt_engine.h   | 5 +++++
 2 files changed, 11 insertions(+)

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;
 }
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h
index bbb0a95e9..3edcd6872 100644
--- a/src/smt/smt_engine.h
+++ b/src/smt/smt_engine.h
@@ -352,6 +352,11 @@ public:
    */
   void setLogic(const std::string& logic) throw(ModalException);
 
+  /**
+   * Set the logic of the script.
+   */
+  void setLogic(const char* logic) throw(ModalException);
+
   /**
    * Set the logic of the script.
    */
-- 
2.30.2