From a75d0cb0ad3f094f619c49aa383780a2f52e7ee3 Mon Sep 17 00:00:00 2001
From: letsintegreat <37345795+letsintegreat@users.noreply.github.com>
Date: Sat, 18 Jan 2025 22:41:24 +0530
Subject: [PATCH] fix switching bug

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

diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c
index bf94ad72d..26e29591c 100644
--- a/src/aig/gia/giaSwitch.c
+++ b/src/aig/gia/giaSwitch.c
@@ -612,7 +612,7 @@ Vec_Int_t * Gia_ManSwiSimulate( Gia_Man_t * pAig, Gia_ParSwi_t * pPars )
     else if ( pPars->fProbTrans )
     {
         Gia_ManForEachObj( pAig, pObj, i )
-            pSwitching[i] = Gia_ManSwiComputeProbOne( p->pData1[i], pPars->nWords*(pPars->nIters-pPars->nPref) );
+            pSwitching[i] = Gia_ManSwiComputeSwitching( p->pData1[i], pPars->nWords*(pPars->nIters-pPars->nPref) );
     }
     else
     {