From 500c76d213b829a7729d717a09704d6197a37e1b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 3 Jul 2012 11:21:58 -0700
Subject: Performance improvement in &gla_refine.

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

diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c
index 16c37e0e..01b41312 100644
--- a/src/aig/gia/giaAbsGla.c
+++ b/src/aig/gia/giaAbsGla.c
@@ -255,8 +255,8 @@ int Gia_ManGlaRefine( Gia_Man_t * p, Abc_Cex_t * pCex, int fMinCut, int fVerbose
             pCexNew = Gia_ManCexRemap( p, pCex, vPis );
             printf( "Procedure &gla_refine found a real counter-example in frame %d.\n", pCexNew->iFrame );
         }
-        else
-            printf( "CEX is not real.\n" );
+//        else
+//            printf( "CEX is not real.\n" );
         Gia_ManForEachObj( pAbs, pObj, i )
             Gia_ObjTerSimSetC( pObj );
         if ( pCexNew == NULL )
-- 
cgit v1.2.3