From cd92b1fea386707bd1dd3003d3fa630385528373 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 8 Dec 2016 10:39:11 -0800 Subject: Improvements to GIA visualization. --- src/aig/gia/giaShow.c | 1 - 1 file changed, 1 deletion(-) (limited to 'src/aig/gia/giaShow.c') diff --git a/src/aig/gia/giaShow.c b/src/aig/gia/giaShow.c index bc372746..c68ba26c 100644 --- a/src/aig/gia/giaShow.c +++ b/src/aig/gia/giaShow.c @@ -539,7 +539,6 @@ void Gia_WriteDotAig( Gia_Man_t * p, char * pFileName, Vec_Int_t * vAdds, Vec_In } else if ( Vec_IntEntry(vMapXors, iNode) >= 0 ) { - int iXor = Vec_IntEntry(vMapXors, iNode); fprintf( pFile, " Node%d [label = \"%d\"", iNode, iNode ); fprintf( pFile, ", shape = doublecircle" ); } -- cgit v1.2.3