Version abc90310

1 files changed, 3 insertions, 6 deletions

diff --git a/src/map/if/ifCore.c b/src/map/if/ifCore.c
index 0f0ca002..e3fd47f1 100644
--- a/src/map/if/ifCore.c
+++ b/src/map/if/ifCore.c
@@ -55,13 +55,10 @@ int If_ManPerformMapping( If_Man_t * p )
     // try sequential mapping
     if ( p->pPars->fSeqMap )
     {
-        int RetValue = 1;
-        printf( "Currently sequential mapping is not performed.\n" );
-//        RetValue = If_ManPerformMappingSeq( p );
-        return RetValue;
-//        return 1;
+//        if ( p->pPars->fVerbose )
+            printf( "Performing sequential mapping without retiming.\n" );
+        return If_ManPerformMappingSeq( p );
     }
-
     return If_ManPerformMappingComb( p );
 }