summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-12-08 10:39:11 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2016-12-08 10:39:11 -0800
commitcd92b1fea386707bd1dd3003d3fa630385528373 (patch)
tree7d1d08c84be3be80f1ae03e147c68f13ad2a5195 /src
parent211db8bf28002dcfefca32bb83c488265347c3cf (diff)
downloadabc-cd92b1fea386707bd1dd3003d3fa630385528373.tar.gz
abc-cd92b1fea386707bd1dd3003d3fa630385528373.tar.bz2
abc-cd92b1fea386707bd1dd3003d3fa630385528373.zip
Improvements to GIA visualization.
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/giaShow.c1
1 files changed, 0 insertions, 1 deletions
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" );
}