diff options
Diffstat (limited to 'src/aig/fra/fraMan.c')
| -rw-r--r-- | src/aig/fra/fraMan.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/fra/fraMan.c b/src/aig/fra/fraMan.c index da7c37a3..b8cf13c5 100644 --- a/src/aig/fra/fraMan.c +++ b/src/aig/fra/fraMan.c @@ -120,7 +120,8 @@ Fra_Man_t * Fra_ManStart( Aig_Man_t * pManAig, Fra_Par_t * pPars ) p->pMemFraig = ALLOC( Aig_Obj_t *, p->nSizeAlloc * p->nFramesAll ); memset( p->pMemFraig, 0, sizeof(Aig_Obj_t *) * p->nSizeAlloc * p->nFramesAll ); // set random number generator - srand( 0xABCABC ); +// srand( 0xABCABC ); + Aig_ManRandom(1); // set the pointer to the manager Aig_ManForEachObj( p->pManAig, pObj, i ) pObj->pData = p; |