Added new command &gla_shrink.

This commit is contained in:
Alan Mishchenko 2012-09-05 00:55:33 -07:00
parent f6b67d7846
commit 9cb16d654a
1 changed files with 1 additions and 1 deletions

View File

@ -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();