From fe3d334151dd3b81dca4beaa8635d89d3f8b2d71 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 8 Apr 2017 18:37:32 -0700
Subject: Experiments with hashing.

---
 src/base/acb/acbUtil.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/acb/acbUtil.c')

diff --git a/src/base/acb/acbUtil.c b/src/base/acb/acbUtil.c
index 1c47bf65..2d56a553 100644
--- a/src/base/acb/acbUtil.c
+++ b/src/base/acb/acbUtil.c
@@ -455,7 +455,7 @@ void Acb_NtkSaveSupport( Acb_Ntk_t * p, int iObj )
 }
 void Acb_NtkUpdateNode( Acb_Ntk_t * p, int Pivot, word uTruth, Vec_Int_t * vSupp )
 {
-    int Level = Acb_ObjLevelD(p, Pivot);
+    //int Level = Acb_ObjLevelD(p, Pivot);
     Acb_NtkSaveSupport( p, Pivot );
     //Acb_NtkPrintNode( p, Pivot );
     Acb_NtkResetNode( p, Pivot, uTruth, vSupp );
-- 
cgit v1.2.3