1 files changed, 3 insertions, 2 deletions
diff --git a/src/prop/bvminisat/bvminisat.cpp b/src/prop/bvminisat/bvminisat.cpp
index 1eb4bce96..55710092b 100644
--- a/src/prop/bvminisat/bvminisat.cpp
+++ b/src/prop/bvminisat/bvminisat.cpp
@@ -51,7 +51,7 @@ void BVMinisatSatSolver::MinisatNotify::notify(
   d_notify->notify(satClause);
 }
 
-void BVMinisatSatSolver::setNotify(Notify* notify) {
+void BVMinisatSatSolver::setNotify(BVSatSolverNotify* notify) {
   d_minisatNotify.reset(new MinisatNotify(notify));
   d_minisat->setNotify(d_minisatNotify.get());
 }
@@ -104,7 +104,8 @@ void BVMinisatSatSolver::popAssumption() {
   d_minisat->popAssumption();
 }
 
-void BVMinisatSatSolver::setProofLog( BitVectorProof * bvp ) {
+void BVMinisatSatSolver::setProofLog(proof::ResolutionBitVectorProof* bvp)
+{
   d_minisat->setProofLog( bvp );
 }