diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-03 14:04:38 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-03 14:04:38 +0000 |
| commit | 7cd7c850304caa12827c0deab1752293655d1248 (patch) | |
| tree | b5399590c2cd3be977a4f368d42ad97ae3fb11c5 /src/prop | |
| parent | f4d77f6874d519c6e6dba9cd8dd2ac4124955c5b (diff) | |
fixing a type that caused the segfaults in the regressions
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/minisat/core/Solver.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |