skolemization manager may be called also when just unsatCores are on (related to...

diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp
index cbc7f591a3505ad941b2fab7d1d6955543f6fbfa..2bab0978985dbf5c7fb732410794c14e8c493909 100644 (file)
--- a/src/proof/proof_manager.cpp
+++ b/src/proof/proof_manager.cpp
@@ -135,7 +135,7 @@ ArithProof* ProofManager::getArithProof() {
 }
 
 SkolemizationManager* ProofManager::getSkolemizationManager() {
-  Assert (options::proof());
+  Assert (options::proof() || options::unsatCores());
   return &(currentPM()->d_skolemizationManager);
 }