From 4ff5203f4c8b341eb717b742bf1af51f64f31ccd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 5 Mar 2013 13:13:15 -0800
Subject: Improvements to the hierarchy/timing manager.

---
 src/proof/llb/llb4Map.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/llb')

diff --git a/src/proof/llb/llb4Map.c b/src/proof/llb/llb4Map.c
index 4b46f308..4487ce25 100644
--- a/src/proof/llb/llb4Map.c
+++ b/src/proof/llb/llb4Map.c
@@ -68,7 +68,7 @@ Vec_Int_t * Llb_AigMap( Aig_Man_t * pAig, int nLutSize, int nLutMin )
 
     // get timing information
     pPars->pTimesArr = Abc_NtkGetCiArrivalFloats(pNtk);
-    pPars->pTimesReq = NULL;
+    pPars->pTimesReq = Abc_NtkGetCoRequiredFloats(pNtk);
 
     // perform LUT mapping
     pIfMan = Abc_NtkToIf( pNtk, pPars );    
-- 
cgit v1.2.3