From 89c981c6ee40371deeb906f097f6658a4c71b653 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 28 Apr 2018 18:58:23 -0700 Subject: The ECO code (fix to the broken build). --- src/base/acb/acbFunc.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/base/acb/acbFunc.c b/src/base/acb/acbFunc.c index 7d36a1ff..d73d1d59 100644 --- a/src/base/acb/acbFunc.c +++ b/src/base/acb/acbFunc.c @@ -2273,7 +2273,7 @@ Vec_Ptr_t * Acb_TransformPatchFunctions( Vec_Ptr_t * vSops, Vec_Wec_t * vSupps, ***********************************************************************/ int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileNameF, int fCisOnly ) { - extern Gia_Man_t * Abc_SopSynthesizeOne( char * pSop ); + extern Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp ); abctime clk = Abc_Clock(); int nTargets = Vec_IntSize(&pNtkF->vTargets); @@ -2389,7 +2389,7 @@ int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileNameF, } // add new function to the miter - pOne = Abc_SopSynthesizeOne( pSop ); + pOne = Abc_SopSynthesizeOne( pSop, 1 ); printf( "Tar%02d: ", i ); Gia_ManPrintStats( pOne, NULL ); -- cgit v1.2.3