Bugfix to the incremental cnf code (which isn't yet active).

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1057 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/extlib-abc/aig/cnf/cnfWrite.c b/src/extlib-abc/aig/cnf/cnfWrite.c
index 7aa8f11fd1c78044952ef3be269eff4d92f1533a..da2e7c096cd0f47e8eaa5f47183a67ee6068c12f 100644 (file)
--- a/src/extlib-abc/aig/cnf/cnfWrite.c
+++ b/src/extlib-abc/aig/cnf/cnfWrite.c
@@ -325,7 +325,7 @@ Cnf_Dat_t * Cnf_DeriveSimple_Additional( Aig_Man_t * p, Cnf_Dat_t * old )
 {\r
     Aig_Obj_t * pObj;\r
     Cnf_Dat_t * pCnf;\r
-    int OutVar, PoVar, pVars[32], * pLits, ** pClas;\r
+    int OutVar, pVars[32], * pLits, ** pClas;\r
     int i, nLiterals, nClauses;\r
 \r
     // calculate the worst case number of literals and clauses\r
@@ -348,7 +348,7 @@ Cnf_Dat_t * Cnf_DeriveSimple_Additional( Aig_Man_t * p, Cnf_Dat_t * old )
     //Copy over the prior allocation of variables to the new variables\r
     memcpy(pCnf->pVarNums, old->pVarNums, sizeof(int) * old->nVars);\r
 \r
-    assert (pCnf->pVarNums[Aig_ManConst1(p)->Id] ==1);\r
+    assert (pCnf->pVarNums[Aig_ManConst1(p)->Id] !=-1);\r
     int Number = old->nVars+1;\r
 \r
     // assign variables to the PIs\r