diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-08 10:39:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-08 10:39:11 -0800 |
| commit | cd92b1fea386707bd1dd3003d3fa630385528373 (patch) | |
| tree | 7d1d08c84be3be80f1ae03e147c68f13ad2a5195 /src/aig/gia/giaShow.c | |
| parent | 211db8bf28002dcfefca32bb83c488265347c3cf (diff) | |
| download | abc-cd92b1fea386707bd1dd3003d3fa630385528373.tar.gz abc-cd92b1fea386707bd1dd3003d3fa630385528373.tar.bz2 abc-cd92b1fea386707bd1dd3003d3fa630385528373.zip | |
Improvements to GIA visualization.
Diffstat (limited to 'src/aig/gia/giaShow.c')
| -rw-r--r-- | src/aig/gia/giaShow.c | 1 |
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" ); } |