diff options
Diffstat (limited to 'src/prop/minisat/CVC4-README')
| -rw-r--r-- | src/prop/minisat/CVC4-README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/minisat/CVC4-README b/src/prop/minisat/CVC4-README index af71779d5..cd3b638d6 100644 --- a/src/prop/minisat/CVC4-README +++ b/src/prop/minisat/CVC4-README @@ -13,7 +13,7 @@ the trunk. The PropEngine then uses the following // Create the sat solver (this is the proxy, which will create minisat) -d_satSolver = new SatSolver(this, d_theoryEngine, d_context, d_options); +d_satSolver = new SatSolver(this, d_theoryEngine, d_context); // Add some clauses d_cnfStream->convertAndAssert(node); // Check for satisfiabilty |