diff options
Diffstat (limited to 'src/aig/int/int.h')
-rw-r--r-- | src/aig/int/int.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/int/int.h b/src/aig/int/int.h index bc9c1237..e0c4e960 100644 --- a/src/aig/int/int.h +++ b/src/aig/int/int.h @@ -70,7 +70,7 @@ struct Inter_ManParams_t_ /*=== intCore.c ==========================================================*/ extern void Inter_ManSetDefaultParams( Inter_ManParams_t * p ); -extern int Inter_ManPerformInterpolation( Aig_Man_t * pAig, Inter_ManParams_t * pPars, int * pDepth ); +extern int Inter_ManPerformInterpolation( Aig_Man_t * pAig, Inter_ManParams_t * pPars, int * piFrame ); #ifdef __cplusplus |