X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satlib.git;a=blobdiff_plain;f=inc_solver.cc;h=24c6e88fcb13030d99cf293998fcd2395dadc210;hp=28444bcf6ff702368b24d38a7e6444fd05e4c1e5;hb=13e5f2c30c1ba823c7141b2d94caa1d216c7a040;hpb=33cbe1ee74163e94f6c5b6ede980d4f30037e86a

diff --git a/inc_solver.cc b/inc_solver.cc
index 28444bc..24c6e88 100644
--- a/inc_solver.cc
+++ b/inc_solver.cc
@@ -48,9 +48,10 @@ int IncrementalSolver::solve() {
     if (numVars > solutionsize) {
       if (solution != NULL)
         free(solution);
-      solution = (int *) malloc(numVars*sizeof(int));
+      solution = (int *) malloc((numVars+1)*sizeof(int));
+      solution[0] = 0;
     }
-    readSolver(solution, numVars * sizeof(int));
+    readSolver(&solution[1], numVars * sizeof(int));
   }
   return result;
 }