removing now-unused TheoryEngine::setLogic() interface function

diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index 0b5d62d83abaa331427ff31a9a3b115ff98d16aa..019818a5f7ce0099d8e22e1f11d350ee36c05b88 100644 (file)
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -500,12 +500,6 @@ public:
     d_theoryTable[theoryId] = new TheoryClass(d_context, d_userContext, *d_theoryOut[theoryId], theory::Valuation(this), d_logicInfo);
   }
 
-  /**
-   * Sets the logic (SMT-LIB format).  All theory specific setup/hacks
-   * should go in here.
-   */
-  void setLogic(std::string logic);
-
   inline void setPropEngine(prop::PropEngine* propEngine) {
     Assert(d_propEngine == NULL);
     d_propEngine = propEngine;