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 5143f0974a6552a37221b27477d9d03f9554adeb..80d6b116ec4bebcdd5703f4a7af8a080098646bb 100644 (file)
--- 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);
 }