From 770bc99e79baa07a9d2cc7a25dc30ee86ed34d91 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Mar 2009 08:01:00 -0700
Subject: Version abc90315

---
 src/aig/cec/cecCore.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/aig/cec')

diff --git a/src/aig/cec/cecCore.c b/src/aig/cec/cecCore.c
index 8e66179f..9274dcb8 100644
--- a/src/aig/cec/cecCore.c
+++ b/src/aig/cec/cecCore.c
@@ -282,6 +282,9 @@ p->timeSim += clock() - clk;
 //            Gia_ManEquivTransform( p->pAig, 1 );
         }
         pSrm = Cec_ManFraSpecReduction( p ); 
+
+//        Gia_WriteAiger( pSrm, "gia_srm.aig", 0, 0 );
+
         if ( pPars->fVeryVerbose )
             Gia_ManPrintStats( pSrm );
         if ( Gia_ManCoNum(pSrm) == 0 )
-- 
cgit v1.2.3