diff options
Diffstat (limited to 'src/aig/llb/llb4Image.c')
-rw-r--r-- | src/aig/llb/llb4Image.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/llb/llb4Image.c b/src/aig/llb/llb4Image.c index acc34b22..031c8830 100644 --- a/src/aig/llb/llb4Image.c +++ b/src/aig/llb/llb4Image.c @@ -847,7 +847,7 @@ Vec_Ptr_t * Llb_Nonlin4Group( DdManager * dd, Vec_Ptr_t * vParts, Vec_Int_t * vV //Extra_bddPrintSupport( p->dd, pPart->bFunc ); printf( "\n" ); } Llb_Nonlin4Free( p ); -Abc_PrintTime( 1, "Reparametrization time", clock() - clk ); +//Abc_PrintTime( 1, "Reparametrization time", clock() - clk ); return vGroups; } |