From: Dejan Jovanović 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); }