diff options
Diffstat (limited to 'src/map/if/ifTune.c')
-rw-r--r-- | src/map/if/ifTune.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index e7b1ad05..f75192b6 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -459,7 +459,7 @@ Ifn_Ntk_t * Ifn_NtkParse( char * pStr ) } Ifn_NtkParseConstraints( pStr, p ); Abc_TtElemInit2( p->pTtElems, p->nInps ); - printf( "Finished parsing: " ); Ifn_NtkPrint(p); +// printf( "Finished parsing: " ); Ifn_NtkPrint(p); return p; } |