From 67300e056b73087ed6d7bb62996d81dc7906999c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 17 Jan 2012 23:09:19 -0800
Subject: Small bug induced by changes in the SAT solver.

---
 src/aig/fra/fraSat.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig')

diff --git a/src/aig/fra/fraSat.c b/src/aig/fra/fraSat.c
index 50503670..78d25c37 100644
--- a/src/aig/fra/fraSat.c
+++ b/src/aig/fra/fraSat.c
@@ -511,6 +511,8 @@ int Fra_SetActivityFactors_rec( Fra_Man_t * p, Aig_Obj_t * pObj, int LevelMin, i
         return 0;
     // set the factor of this variable
     // (LevelMax-LevelMin) / (pObj->Level-LevelMin) = p->pPars->dActConeBumpMax / ThisBump
+    if ( p->pSat->factors == NULL )
+        p->pSat->factors = ABC_CALLOC( double, p->pSat->size );
     p->pSat->factors[Fra_ObjSatNum(pObj)] = p->pPars->dActConeBumpMax * (pObj->Level - LevelMin)/(LevelMax - LevelMin);
     veci_push(&p->pSat->act_vars, Fra_ObjSatNum(pObj));
     // explore the fanins
-- 
cgit v1.2.3