diff options
| -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" ); } |