From ccd1b57264d3bf1514410747cdcf6e4731ac7f2a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 10 Apr 2009 08:01:00 -0700 Subject: Version abc90410 --- src/aig/cec/cecInt.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/aig/cec/cecInt.h') diff --git a/src/aig/cec/cecInt.h b/src/aig/cec/cecInt.h index 22bd292b..1fd48d55 100644 --- a/src/aig/cec/cecInt.h +++ b/src/aig/cec/cecInt.h @@ -166,7 +166,8 @@ struct Cec_ManFra_t_ /// FUNCTION DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -/*=== cecCore.c ============================================================*/ +/*=== cecCorr.c ============================================================*/ +extern void Cec_ManRefinedClassPrintStats( Gia_Man_t * p, Vec_Str_t * vStatus, int iIter, int Time ); /*=== cecClass.c ============================================================*/ extern int Cec_ManSimClassRemoveOne( Cec_ManSim_t * p, int i ); extern int Cec_ManSimClassesPrepare( Cec_ManSim_t * p ); -- cgit v1.2.3