From 9cdbb79338590477f654c788551bc373bac31a77 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 31 Mar 2025 15:39:05 -0700
Subject: [PATCH] Bug fix in handling concurrency in "stochmap".

---
 src/base/abci/abcPart.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/abci/abcPart.c b/src/base/abci/abcPart.c
index 8f943f379..9411a0bba 100644
--- a/src/base/abci/abcPart.c
+++ b/src/base/abci/abcPart.c
@@ -1341,7 +1341,7 @@ Vec_Ptr_t * Abc_NtkStochProcess( Vec_Ptr_t * vWins, char * pScript, int nProcs,
     StochSynData_t * pData = ABC_CALLOC( StochSynData_t, Vec_PtrSize(vWins) );
     Vec_Ptr_t * vData = Vec_PtrAlloc( Vec_PtrSize(vWins) ); 
     Abc_Ntk_t * pNtk; int i;
-    Abc_Random(1);
+    //Abc_Random(1);
     Vec_PtrForEachEntry( Abc_Ntk_t *, vWins, pNtk, i ) {
         pData[i].pIn     = pNtk;
         pData[i].pOut    = NULL;