From 9cb16d654a4e0e2574869c31c9390a556524ffd8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 5 Sep 2012 00:55:33 -0700
Subject: Added new command &gla_shrink.

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

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaAbsIter.c b/src/aig/gia/giaAbsIter.c
index 4600530b..42f4ed1e 100644
--- a/src/aig/gia/giaAbsIter.c
+++ b/src/aig/gia/giaAbsIter.c
@@ -97,7 +97,7 @@ Gia_Man_t * Gia_IterImprove( Gia_Man_t * p, int nFrameMax, int nTimeOut, int fUs
             }
             if ( Gia_ObjIsRo(p, pObj) )
             {
-                if ( Gia_ObjIsInGla(p, Gia_ObjRoToRi(p, pObj)) )
+                if ( Gia_ObjIsInGla(p, Gia_ObjFanin0(Gia_ObjRoToRi(p, pObj))) )
                     continue;
             }        
             clk = clock();
-- 
cgit v1.2.3