X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satlib.git;a=blobdiff_plain;f=glucose-syrup%2Fincremental%2FMain.cc;h=5ea6c13a1c68b5c5a8e9284e036c763b9a852000;hp=acb61b68b07c52e642ef076ee77ffcca02172554;hb=13e5f2c30c1ba823c7141b2d94caa1d216c7a040;hpb=33cbe1ee74163e94f6c5b6ede980d4f30037e86a

diff --git a/glucose-syrup/incremental/Main.cc b/glucose-syrup/incremental/Main.cc
index acb61b6..5ea6c13 100644
--- a/glucose-syrup/incremental/Main.cc
+++ b/glucose-syrup/incremental/Main.cc
@@ -153,7 +153,6 @@ void processCommands(SimpSolver *solver) {
       if (ret == l_True) {
         putInt(IS_SAT);
         putInt(solver->nVars());
-        putInt(0);
         for(int i=0;i<solver->nVars();i++) {
           putInt(solver->model[i]==l_True);
         }