From 26eb3f3684e4478d6839d7d0a92ac67003c06b20 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 1 Jan 2017 19:48:46 +0700
Subject: Updates to delay optimization project.

---
 src/opt/sbd/sbdCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/opt/sbd')

diff --git a/src/opt/sbd/sbdCore.c b/src/opt/sbd/sbdCore.c
index c9e92d73..7df97d3b 100644
--- a/src/opt/sbd/sbdCore.c
+++ b/src/opt/sbd/sbdCore.c
@@ -1894,7 +1894,7 @@ int Sbd_ManImplement2( Sbd_Man_t * p, int Pivot, int nStrs, Sbd_Str_t * pStrs )
     Sbd_StoDerefObj( p->pSto, Pivot );
     for ( i = iObjLast; i < Gia_ManObjNum(p->pGia); i++ )
     {
-        Gia_Obj_t * pObjI = Gia_ManObj( p->pGia, i );
+        //Gia_Obj_t * pObjI = Gia_ManObj( p->pGia, i );
         abctime clk = Abc_Clock();
         int Delay = Sbd_StoComputeCutsNode( p->pSto, i );
         p->timeCut += Abc_Clock() - clk;
-- 
cgit v1.2.3