From 70694628d2ed5260bb5bd4456d077d903a011c05 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 8 Sep 2011 08:53:52 +0700
Subject: [PATCH] Sequential cleanup with symbolic/ternary simulation (bug
 fix).

---
 src/aig/aig/aigTsim.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aig/aig/aigTsim.c b/src/aig/aig/aigTsim.c
index c6a8b9860..5e711ff6f 100644
--- a/src/aig/aig/aigTsim.c
+++ b/src/aig/aig/aigTsim.c
@@ -499,7 +499,7 @@ Aig_Man_t * Aig_ManConstReduce( Aig_Man_t * p, int fUseMvSweep, int nFramesSymb,
 {
     Aig_Man_t * pTemp;
     Vec_Ptr_t * vMap;
-    while ( 1 )
+    while ( Aig_ManRegNum(p) > 0 )
     {
         if ( fUseMvSweep )
             vMap = Saig_MvManSimulate( p, nFramesSymb, nFramesSatur, fVerbose, fVeryVerbose );