From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Thu, 3 Mar 2011 14:04:38 +0000 (+0000)
Subject: fixing a type that caused the segfaults in the regressions
X-Git-Tag: cvc5-1.0.0~8676
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7cd7c850304caa12827c0deab1752293655d1248;p=cvc5.git

fixing a type that caused the segfaults in the regressions
---

diff --git a/src/prop/minisat/core/Solver.cc b/src/prop/minisat/core/Solver.cc
index 5143f0974..80d6b116e 100644
--- a/src/prop/minisat/core/Solver.cc
+++ b/src/prop/minisat/core/Solver.cc
@@ -1256,7 +1256,7 @@ void Solver::relocAll(ClauseAllocator& to)
     for (int i = 0; i < lemma_propagated_reasons.size(); i ++)
       ca.reloc(lemma_propagated_reasons[i], to);
     for (int i = 0; i < propagating_lemmas.size(); i ++)
-      ca.reloc(lemma_propagated_reasons[i], to);
+      ca.reloc(propagating_lemmas[i], to);
 }