From 7cd7c850304caa12827c0deab1752293655d1248 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Thu, 3 Mar 2011 14:04:38 +0000 Subject: [PATCH] fixing a type that caused the segfaults in the regressions --- src/prop/minisat/core/Solver.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); } -- 2.30.2