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