diff options
| -rw-r--r-- | src/base/abci/abcRec3.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 333c3cfa..00609926 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -731,6 +731,7 @@ p->timeCanon += clock() - clk; clk = clock(); // add the resulting truth table to the hash table Index = Vec_MemHashInsert( p->vTtMem, p->pTemp1 ); +/* if ( p->vTruthFreqs == NULL ) p->vTruthFreqs = Vec_IntAlloc( 1000 ); assert( Index <= Vec_IntSize(p->vTruthFreqs) ); @@ -738,6 +739,7 @@ clk = clock(); Vec_IntAddToEntry( p->vTruthFreqs, Index, 1 ); else Vec_IntPush( p->vTruthFreqs, 1 ); +*/ p->nAdded++; p->timeInsert += clock() - clk; return 1; |