diff options
Diffstat (limited to 'src/aig/gia/giaGlitch.c')
-rw-r--r-- | src/aig/gia/giaGlitch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaGlitch.c b/src/aig/gia/giaGlitch.c index 35d076e5..0dfee293 100644 --- a/src/aig/gia/giaGlitch.c +++ b/src/aig/gia/giaGlitch.c @@ -506,7 +506,7 @@ void Gli_ManSwitching( Gli_Man_t * p ) ***********************************************************************/ void Gli_ManGlitching( Gli_Man_t * p ) { - Gli_Obj_t * pThis, * pFanout, * pOther = Gli_ManObj(p, 41); + Gli_Obj_t * pThis, * pFanout;//, * pOther = Gli_ManObj(p, 41); int i, k, Handle; // Gli_ManForEachObj( p, pThis, i ) // assert( pThis->fMark == 0 ); |