From: bdemsky <bdemsky@uci.edu>
Date: Wed, 31 Dec 2014 12:42:55 +0000 (+0900)
Subject: bugfix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satlib.git;a=commitdiff_plain;h=33cbe1ee74163e94f6c5b6ede980d4f30037e86a;hp=4ae07496db03a08e1d3b713c13e337efbf89ee1c

bugfix
---

diff --git a/glucose-syrup/incremental/Main.cc b/glucose-syrup/incremental/Main.cc
index 5ea6c13..acb61b6 100644
--- a/glucose-syrup/incremental/Main.cc
+++ b/glucose-syrup/incremental/Main.cc
@@ -153,6 +153,7 @@ 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);
         }