From 8a89f1c3f6e09bbb42aefdef0772d1900b18fa45 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 28 Apr 2012 02:24:34 +0700
Subject: Added supporting dual-output seq miters in &iso.

---
 src/aig/gia/giaIso.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/aig/gia/giaIso.c')

diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c
index 89b8ac9c..2d5fd102 100644
--- 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 );
-- 
cgit v1.2.3