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/seqAigCore.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/src/base/seq/seqAigCore.c b/src/base/seq/seqAigCore.c
index 9b1e69a5..b1f66721 100644
--- a/src/base/seq/seqAigCore.c
+++ b/src/base/seq/seqAigCore.c
@@ -73,7 +73,8 @@ void Seq_NtkSeqRetimeDelay( Abc_Ntk_t * pNtk, int nMaxIters, int fInitial, int f
         Seq_NtkLatchSetValues( pNtk, ABC_INIT_DC );
     // get the retiming lags
     p->nMaxIters = nMaxIters;
-    Seq_AigRetimeDelayLags( pNtk, fVerbose );
+    if ( !Seq_AigRetimeDelayLags( pNtk, fVerbose ) )
+        return;
     // implement this retiming
     RetValue = Seq_NtkImplementRetiming( pNtk, p->vLags, fVerbose );
     if ( RetValue == 0 )
-- 
cgit v1.2.3