diff options
Diffstat (limited to 'src/prop/minisat/minisat.cpp')
-rw-r--r-- | src/prop/minisat/minisat.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prop/minisat/minisat.cpp b/src/prop/minisat/minisat.cpp index 514338fd9..73a6f0d5e 100644 --- a/src/prop/minisat/minisat.cpp +++ b/src/prop/minisat/minisat.cpp @@ -232,6 +232,8 @@ void MinisatSatSolver::pop() { d_minisat->pop(); } +void MinisatSatSolver::resetTrail() { d_minisat->resetTrail(); } + /// Statistics for MinisatSatSolver MinisatSatSolver::Statistics::Statistics(StatisticsRegistry* registry) : |