diff options
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/prop_engine.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp index ab1afceba..4939ecb43 100644 --- a/src/prop/prop_engine.cpp +++ b/src/prop/prop_engine.cpp @@ -118,6 +118,9 @@ Result PropEngine::checkSat() { ScopedBool scopedBool(d_inCheckSat); d_inCheckSat = true; + // TODO This currently ignores conflicts (a dangerous practice). + d_theoryEngine->presolve(); + // Check the problem bool result = d_satSolver->solve(); |