diff options
Diffstat (limited to 'src/aig/ivy')
| -rw-r--r-- | src/aig/ivy/ivyFastMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/ivy/ivyFastMap.c b/src/aig/ivy/ivyFastMap.c index feeb36f2..34d2796e 100644 --- a/src/aig/ivy/ivyFastMap.c +++ b/src/aig/ivy/ivyFastMap.c @@ -84,7 +84,7 @@ static int Ivy_FastMapNodeDeref( Ivy_Man_t * pAig, Ivy_Obj_t * pObj ); extern clock_t s_MappingTime; -extern clock_t s_MappingMem; +extern int s_MappingMem; //////////////////////////////////////////////////////////////////////// |