Added supporting dual-output seq miters in &iso.

8a89f1c3 · Alan Mishchenko · 2bf7454b · 8a89f1c3
Commit 8a89f1c3 authored Apr 28, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/aig/gia/giaIso.c
+2 -2

No files found.
--- a/src/aig/gia/giaIso.c
+++ b/src/aig/gia/giaIso.c
@@ -1146,11 +1146,11 @@ Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * pInit, Vec_Ptr_t ** pvPosEquivs, int f
        int i, Entry;
        Vec_IntForEachEntry( vRemain, Entry, i )
        {
-            printf( "%d ", Entry );
+//            printf( "%d ", Entry );
            Vec_IntPush( vTemp, 2*Entry );
            Vec_IntPush( vTemp, 2*Entry+1 );
        }
-        printf( "\n" );
+//        printf( "\n" );
        Vec_IntFree( vRemain );
        vRemain = vTemp;
        Gia_ManStop( p );