From 369f008e69a4f201cbc7c890a08221086bee4698 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 30 Nov 2007 08:01:00 -0800
Subject: Version abc71130

---
 src/aig/fra/fraSec.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/aig/fra/fraSec.c')

diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c
index 573d3570..17a7335c 100644
--- a/src/aig/fra/fraSec.c
+++ b/src/aig/fra/fraSec.c
@@ -228,9 +228,11 @@ PRT( "Time", clock() - clk );
         }
 
         if ( pNew->nRegs )
-        pNew = Aig_ManConstReduce( pNew, 0 );
+            pNew = Aig_ManConstReduce( pNew, 0 );
 
         // perform sequential simulation
+        if ( pNew->nRegs )
+        {
 clk = clock();
         pSml = Fra_SmlSimulateSeq( pNew, 0, 128 * nFrames, 1 + 16/(1+Aig_ManNodeNum(pNew)/1000) ); 
         if ( fVerbose )
@@ -250,6 +252,7 @@ PRT( "Time", clock() - clkTotal );
             return RetValue;
         }
         Fra_SmlStop( pSml );
+        }
     }
 
     // get the miter status
-- 
cgit v1.2.3