1 files changed, 0 insertions, 10 deletions
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index f3904549f..0f138eb65 100644
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -112,16 +112,6 @@ void PropEngine::assertLemma(TNode node, bool negated, bool removable) {
     Dump("lemmas") << AssertCommand(BoolExpr(node.toExpr()));
   }
 
-  /* Tell decision engine */
-  // if(negated) {
-  //   NodeBuilder<> nb(kind::NOT);
-  //   nb << node;
-  //   d_decisionEngine->addAssertion(nb.constructNode());
-  // } else {
-  //   d_decisionEngine->addAssertion(node);
-  // }
-
-  //TODO This comment is now false
   // Assert as removable
   d_cnfStream->convertAndAssert(node, removable, negated);
 }