diff options
Diffstat (limited to 'src/aig/cec/cecInt.h')
| -rw-r--r-- | src/aig/cec/cecInt.h | 3 |
1 files changed, 2 insertions, 1 deletions
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 ); |