diff options
Diffstat (limited to 'src/aig/dar/darBalance.c')
| -rw-r--r-- | src/aig/dar/darBalance.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/dar/darBalance.c b/src/aig/dar/darBalance.c index 5c9a144f..07685c98 100644 --- a/src/aig/dar/darBalance.c +++ b/src/aig/dar/darBalance.c @@ -220,7 +220,7 @@ void Dar_BalancePermute( Aig_Man_t * p, Vec_Ptr_t * vSuper, int LeftBound, int f /* // we did not find the node to share, randomize choice { - int Choice = rand() % (RightBound - LeftBound + 1); + int Choice = Aig_ManRandom(0) % (RightBound - LeftBound + 1); pObj3 = Vec_PtrEntry( vSuper, LeftBound + Choice ); if ( pObj3 == pObj2 ) return; |