diff options
| -rw-r--r-- | src/aig/aig/aigTsim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigTsim.c b/src/aig/aig/aigTsim.c index c6a8b986..5e711ff6 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 ); |