From e2842beaca47941804d1893ac431f00b16c3e684 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 20 Apr 2011 00:29:46 -0700
Subject: Fixing c++ portability issues.

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

(limited to 'src/aig/llb')

diff --git a/src/aig/llb/llb4Nonlin.c b/src/aig/llb/llb4Nonlin.c
index 8c2f1657..c87c13c2 100644
--- a/src/aig/llb/llb4Nonlin.c
+++ b/src/aig/llb/llb4Nonlin.c
@@ -1001,7 +1001,7 @@ void Llb_MnxStop( Llb_Mnx_t * p )
     // remove arrays
     Vec_PtrFree( p->vRings );
     Vec_PtrFree( p->vRoots );
-Cudd_PrintInfo( p->dd, stdout );
+//Cudd_PrintInfo( p->dd, stdout );
     Extra_StopManager( p->dd );
     Vec_IntFreeP( &p->vOrder );
     Vec_IntFreeP( &p->vVars2Q );
-- 
cgit v1.2.3