diff options
Diffstat (limited to 'src/proof/ssc')
| -rw-r--r-- | src/proof/ssc/sscSim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/ssc/sscSim.c b/src/proof/ssc/sscSim.c index ae9a3eec..011e886a 100644 --- a/src/proof/ssc/sscSim.c +++ b/src/proof/ssc/sscSim.c @@ -179,7 +179,7 @@ void Ssc_GiaPrintPiPatterns( Gia_Man_t * p ) { Gia_Obj_t * pObj; word * pSimAig; - int i, nWords = Gia_ObjSimWords( p ); + int i;//, nWords = Gia_ObjSimWords( p ); Gia_ManForEachCi( p, pObj, i ) { pSimAig = Gia_ObjSimObj( p, pObj ); |