From 30b8c3d4225d66f2eca70513c0f7cd0e00a76159 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 12 Nov 2012 14:08:10 -0800
Subject: Made print-out of frontier cut an option ('-c') in '&ps'.

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

(limited to 'src/misc/util/utilBridge.c')

diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c
index 8fee359c..34c22da0 100644
--- a/src/misc/util/utilBridge.c
+++ b/src/misc/util/utilBridge.c
@@ -486,7 +486,7 @@ void Gia_ManFromBridgeTest( char * pFileName )
     p = Gia_ManFromBridge( pFile, NULL );
     fclose ( pFile );
 
-    Gia_ManPrintStats( p, 0, 0 );
+    Gia_ManPrintStats( p, 0, 0, 0 );
     Gia_WriteAiger( p, "temp.aig", 0, 0 );
 
     Gia_ManToBridgeAbsNetlistTest( "par_.dump", p, BRIDGE_ABS_NETLIST );
-- 
cgit v1.2.3