1 files changed, 6 insertions, 0 deletions
diff --git a/src/proof/theory_proof.cpp b/src/proof/theory_proof.cpp
index 3103557c8..b47fd6a1e 100644
--- a/src/proof/theory_proof.cpp
+++ b/src/proof/theory_proof.cpp
@@ -1093,6 +1093,12 @@ void TheoryProof::printTheoryLemmaProof(std::vector<Expr>& lemma,
     InternalError() << "can't generate theory-proof for "
                     << ProofManager::currentPM()->getLogic();
   }
+  // must perform initialization on the theory
+  if (th != nullptr)
+  {
+    // finish init, standalone version
+    th->finishInitStandalone();
+  }
 
   Debug("pf::tp") << "TheoryProof::printTheoryLemmaProof - calling th->ProduceProofs()" << std::endl;
   th->produceProofs();