From 0080244a89eaaccd64c64af8f394486ab5d3e5b5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Apr 2008 08:01:00 -0700
Subject: Version abc80402

---
 src/map/if/ifMan.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/map/if/ifMan.c')

diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c
index 7bb7fcd1..d1a17b6a 100644
--- a/src/map/if/ifMan.c
+++ b/src/map/if/ifMan.c
@@ -191,6 +191,8 @@ If_Obj_t * If_ManCreateCo( If_Man_t * p, If_Obj_t * pDriver )
     pObj->fCompl0 = If_IsComplement(pDriver); pDriver = If_Regular(pDriver);
     pObj->pFanin0 = pDriver; pDriver->nRefs++; 
     pObj->Level   = pDriver->Level;
+    if ( p->nLevelMax < (int)pObj->Level )
+        p->nLevelMax = (int)pObj->Level;
     p->nObjs[IF_CO]++;
     return pObj;
 }
-- 
cgit v1.2.3