diff options
| -rw-r--r-- | src/base/ver/verCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c index 765b237f..bdc16dde 100644 --- a/src/base/ver/verCore.c +++ b/src/base/ver/verCore.c @@ -2761,7 +2761,7 @@ void Ver_ParsePrintLog( Ver_Man_t * pMan ) } Vec_PtrForEachEntry( Abc_Ntk_t *, pMan->pDesign->vModules, pNtk, i ) pNtk->fHieVisited = 0; - printf( "The number of modules with one output = %d (%.2f %%).\n", Count1, 100.0 * Count1/Vec_PtrSize(pMan->pDesign->vModules) ); + fprintf( pFile, "The number of modules with one output = %d (%.2f %%).\n", Count1, 100.0 * Count1/Vec_PtrSize(pMan->pDesign->vModules) ); // report instances with dangling outputs if ( Vec_PtrSize(pMan->pDesign->vModules) > 1 ) |