fix

HanielB · Sep 27, 2023 · 13ced68 · 13ced68
1 parent 234435b
commit 13ced68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/prop/prop_proof_manager.cpp b/src/prop/prop_proof_manager.cpp
@@ -160,7 +160,7 @@ std::shared_ptr<ProofNode> PropPfManager::getProof(bool connectCnf)
       allAssumptions.insert(allAssumptions.end(), lemmas.begin(), lemmas.end());
       for (const Node& a : allAssumptions)
       {
-        cdp.addStep(a, PfRule::ASSUME, {}, {a});
+        cdp.addStep(a, ProofRule::ASSUME, {}, {a});
       }
       // add the sat proof copying the proof nodes but not overwriting the
       // assumption clauses