1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index e8223f1a1..c1e1e4cac 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -496,8 +496,8 @@ class TheoryEngine {
                                               d_logicInfo);
   }
 
-  inline void setPropEngine(prop::PropEngine* propEngine) {
-    Assert(d_propEngine == NULL);
+  void setPropEngine(prop::PropEngine* propEngine)
+  {
     d_propEngine = propEngine;
   }