Integrating sweeping information.

e11c5aa3 · Alan Mishchenko · b0968094 · e11c5aa3
Commit e11c5aa3 authored Feb 20, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

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

No files found.
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -944,8 +944,8 @@ Gia_Man_t * Gia_ManFromIfStr( If_Man_t * pIfMan )
    Vec_IntFree( vCover );
    Vec_IntFree( vLeaves );
    Vec_IntFree( vLeaves2 );
-    printf( "Mapping array size:  IfMan = %d. Gia = %d. Increase = %.2f\n", 
+//    printf( "Mapping array size:  IfMan = %d. Gia = %d. Increase = %.2f\n", 
-        If_ManObjNum(pIfMan), Gia_ManObjNum(pNew), 1.0 * Gia_ManObjNum(pNew) / If_ManObjNum(pIfMan) );
+//        If_ManObjNum(pIfMan), Gia_ManObjNum(pNew), 1.0 * Gia_ManObjNum(pNew) / If_ManObjNum(pIfMan) );
    // finish mapping 
    if ( Vec_IntSize(vMapping) > Gia_ManObjNum(pNew) )
        Vec_IntShrink( vMapping, Gia_ManObjNum(pNew) );