build system fixes

1 files changed, 2 insertions, 2 deletions

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 93df4fe38..689ca4cdd 100644
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -275,13 +275,13 @@ bool TheoryEngine::properConflict(TNode conflict) const {
 
 bool TheoryEngine::properPropagation(TNode lit) const {
   Assert(!lit.isNull());
-#warning fixme
+#warning implement TheoryEngine::properPropagation()
   return true;
 }
 
 bool TheoryEngine::properExplanation(TNode node, TNode expl) const {
   Assert(!node.isNull() && !expl.isNull());
-#warning fixme
+#warning implement TheoryEngine::properExplanation()
   return true;
 }