From f75e55bb4b8ca5499e5f0c06b02f531e8aa2ae0c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 3 Nov 2011 19:32:20 -0500
Subject: Fixed &reachy to perform reparametrization in case reachability is
 disabled.

---
 src/aig/llb/llb4Nonlin.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/aig/llb')

diff --git a/src/aig/llb/llb4Nonlin.c b/src/aig/llb/llb4Nonlin.c
index 24cd0ac5..b29796f1 100644
--- a/src/aig/llb/llb4Nonlin.c
+++ b/src/aig/llb/llb4Nonlin.c
@@ -1059,12 +1059,12 @@ int Llb_Nonlin4CoreReach( Aig_Man_t * pAig, Gia_ParLlb_t * pPars )
         printf( "The number of objects is more than 2^15.  Clustering cannot be used.\n" );
         return RetValue;
     }
-    if ( !pPars->fSkipReach )
     {
         int clk = clock();
         pMnn = Llb_MnxStart( pAig, pPars );
 //Llb_MnxCheckNextStateVars( pMnn );
-        RetValue = Llb_Nonlin4Reachability( pMnn );
+        if ( !pPars->fSkipReach )
+            RetValue = Llb_Nonlin4Reachability( pMnn );
         pMnn->timeTotal = clock() - clk;
         Llb_MnxStop( pMnn );
     }
-- 
cgit v1.2.3