diff options
Diffstat (limited to 'src/prop/sat.cpp')
| -rw-r--r-- | src/prop/sat.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/prop/sat.cpp b/src/prop/sat.cpp index 97c5d1419..b78f20ee8 100644 --- a/src/prop/sat.cpp +++ b/src/prop/sat.cpp @@ -102,5 +102,9 @@ TNode SatSolver::getNode(SatLiteral lit) { return d_cnfStream->getNode(lit); } +void SatSolver::notifyRestart() { + d_theoryEngine->notifyRestart(); +} + }/* CVC4::prop namespace */ }/* CVC4 namespace */ |