From e446cfca15442c2da04a8c4c94ba0b2efaf16dce Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 16 Sep 2013 14:54:11 -0700
Subject: Added bridge integration for multi-output 'pdr -a'.

---
 src/misc/util/utilBridge.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc')

diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c
index 65d8ba42..4303e4dd 100644
--- a/src/misc/util/utilBridge.c
+++ b/src/misc/util/utilBridge.c
@@ -327,7 +327,7 @@ Gia_Man_t *  Gia_ManFromBridgeReadBody( int Size, unsigned char * pBuffer, Vec_I
 
     // create POs
     nProps = Gia_AigerReadUnsigned( &pBuffer );
-    assert( nProps == 1 );
+//    assert( nProps == 1 );
     for ( i = 0; i < nProps; i++ )
     {
         iFan0 = Gia_AigerReadUnsigned( &pBuffer );
-- 
cgit v1.2.3