summaryrefslogtreecommitdiffstats
path: root/src/aig/llb/llb4Nonlin.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/llb/llb4Nonlin.c')
-rw-r--r--src/aig/llb/llb4Nonlin.c2
1 files changed, 1 insertions, 1 deletions
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 );