From 9efe9579f9db80d3484f958a57db147b0ec07df6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 8 Sep 2012 15:04:44 -0700
Subject: [PATCH] Updating &gla_refine to perform suffix refinement.

---
 src/aig/gia/giaAbsOut.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aig/gia/giaAbsOut.c b/src/aig/gia/giaAbsOut.c
index cfaf0283f..f72043070 100644
--- a/src/aig/gia/giaAbsOut.c
+++ b/src/aig/gia/giaAbsOut.c
@@ -412,7 +412,7 @@ int Gia_ManNewRefine( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrameStart, int iFra
         Abc_Print( 1, "Gia_ManNewRefine(): The initial counter-example is correct.\n" );
     // get inputs
     Gia_ManGlaCollect( p, p->vGateClasses, NULL, NULL, &vFlops, NULL );
-    assert( Vec_IntSize(vPis) + Vec_IntSize(vPPis) == Gia_ManPiNum(pAbs) );
+//    assert( Vec_IntSize(vPis) + Vec_IntSize(vPPis) == Gia_ManPiNum(pAbs) );
     Gia_ManStop( pAbs );
 //Vec_IntPrint( vFlops );
 //Vec_IntPrint( vInit );