From ea98a2497e3e3df73ebfd27d3974d2de0e3c1bf8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 18:41:02 -0700
Subject: Fixing time primtouts throughout the code.

---
 src/aig/ivy/ivyFastMap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/ivy/ivyFastMap.c')

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;
 
 
 ////////////////////////////////////////////////////////////////////////
-- 
cgit v1.2.3