From f1749fa594e9d454ab6c3a247c76488268587a27 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 2 Dec 2012 01:44:17 -0800
Subject: Enabling additional stat printouts.

---
 src/base/abci/abcRec3.c | 2 ++
 1 file changed, 2 insertions(+)

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;
-- 
cgit v1.2.3