diff --git a/src/aig/gia/giaShow.c b/src/aig/gia/giaShow.c
index bc3727469..c68ba26cf 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" );
             }