From 53c4fffa04d471827119bdebd7ab0426f1c4555a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Nov 2005 08:01:00 -0800
Subject: Version abc51130

---
 src/base/seq/seqMapCore.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/base/seq/seqMapCore.c')

diff --git a/src/base/seq/seqMapCore.c b/src/base/seq/seqMapCore.c
index bbcc9a7c..fee31287 100644
--- a/src/base/seq/seqMapCore.c
+++ b/src/base/seq/seqMapCore.c
@@ -74,12 +74,14 @@ Abc_Ntk_t * Seq_MapRetime( Abc_Ntk_t * pNtk, int nMaxIters, int fVerbose )
     p->fStandCells = 1;
 
     // find the best mapping and retiming for all nodes (p->vLValues, p->vBestCuts, p->vLags)
-    Seq_MapRetimeDelayLags( pNtk, fVerbose );
+    if ( !Seq_MapRetimeDelayLags( pNtk, fVerbose ) )
+        return NULL;
     if ( RetValue = Abc_NtkGetChoiceNum(pNtk) )
     {
         printf( "The network has %d choices. Deriving the resulting network is skipped.\n", RetValue );
         return NULL;
     }
+    return NULL;
 
     // duplicate the nodes contained in multiple cuts
     pNtkNew = Seq_NtkMapDup( pNtk );
-- 
cgit v1.2.3