diff options
Diffstat (limited to 'src/theory/theory_engine.cpp')
| -rw-r--r-- | src/theory/theory_engine.cpp | 4 |
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; } |