Fixing c++ portability issues.

This commit is contained in:
Alan Mishchenko 2011-04-20 00:29:46 -07:00
parent 8cd00e0407
commit e2842beaca
1 changed files with 1 additions and 1 deletions

View File

@ -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 );