From 88c36d9d657f478cd9cd736eeed91a186cb73815 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 23 Oct 2011 13:20:24 +0700
Subject: New abstraction code (bug fix).

---
 src/aig/saig/saigAbsGla.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/aig/saig/saigAbsGla.c b/src/aig/saig/saigAbsGla.c
index 696088ce..69b4cb66 100644
--- a/src/aig/saig/saigAbsGla.c
+++ b/src/aig/saig/saigAbsGla.c
@@ -352,6 +352,7 @@ int Aig_GlaFetchVar( Aig_GlaMan_t * p, Aig_Obj_t * pObj, int k )
         Vec_IntPush( p->vVar2Inf, Aig_ObjId(pObj) );
         Vec_IntPush( p->vVar2Inf, k );
         Vec_IntWriteEntry( p->vVec2Var, iVecId * p->nFrames + k, iSatVar );
+        sat_solver_setnvars( p->pSat, iSatVar + 1 );
     }
     return iSatVar;
 }
-- 
cgit v1.2.3