diff options
Diffstat (limited to 'src/prop/minisat/simp/SimpSolver.C')
-rw-r--r-- | src/prop/minisat/simp/SimpSolver.C | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/prop/minisat/simp/SimpSolver.C b/src/prop/minisat/simp/SimpSolver.C index 063332e74..124849155 100644 --- a/src/prop/minisat/simp/SimpSolver.C +++ b/src/prop/minisat/simp/SimpSolver.C @@ -28,8 +28,9 @@ namespace CVC4 { namespace prop { namespace minisat { -SimpSolver::SimpSolver() : - grow (0) +SimpSolver::SimpSolver(SatSolver* proxy, context::Context* context) : + Solver(proxy, context) + , grow (0) , asymm_mode (false) , redundancy_check (false) , merges (0) |