diff options
Diffstat (limited to 'src/aig/hop/hopMan.c')
-rw-r--r-- | src/aig/hop/hopMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/hop/hopMan.c b/src/aig/hop/hopMan.c index b7858564..99f5d316 100644 --- a/src/aig/hop/hopMan.c +++ b/src/aig/hop/hopMan.c @@ -60,6 +60,7 @@ Hop_Man_t * Hop_ManStart() p->pConst1->fPhase = 1; p->nCreated = 1; // start the table +// p->nTableSize = 107; p->nTableSize = 10007; p->pTable = ALLOC( Hop_Obj_t *, p->nTableSize ); memset( p->pTable, 0, sizeof(Hop_Obj_t *) * p->nTableSize ); |