From 71166f602a7504c65a165f26a51409514aa61319 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 24 Nov 2013 21:21:01 -0800
Subject: Structural mapper into structures.

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

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

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index bcd63166..1733b4b2 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -1530,8 +1530,8 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp, int fNormalized )
     Gia_ManStop( p );
 //    printf( "PERFORMING VERIFICATION:\n" );
 //    Gia_ManVerifyWithBoxes( pNew, NULL );
-    if ( pPars->fRepack )
-        Gia_ManIffTest( pNew, pPars->pLutLib, pPars->fVerbose );
+//    if ( pPars->fRepack )
+//        Gia_ManIffTest( pNew, pPars->pLutLib, pPars->fVerbose );
     return pNew;
 }
 
-- 
cgit v1.2.3