From d2cab85976175f8479ae7ec1fa3d4bf0105740ac Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 22 Feb 2012 08:06:22 -0800
Subject: Adding flag -s to &put to disable status clearing.

---
 src/aig/saig/saigIso.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/saig')

diff --git a/src/aig/saig/saigIso.c b/src/aig/saig/saigIso.c
index 1cc11496..874cdef3 100644
--- a/src/aig/saig/saigIso.c
+++ b/src/aig/saig/saigIso.c
@@ -426,7 +426,7 @@ Aig_Man_t * Iso_ManFilterPos( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int fV
     Vec_Ptr_t * vBuffers, * vClasses;
     Vec_Int_t * vLevel, * vRemain;
     Vec_Str_t * vStr, * vPrev;
-    int i, nPos, nUnique = 0, clk = clock();
+    int i, nPos, clk = clock();
     int clkDup = 0, clkAig = 0, clkIso = 0, clk2;
     *pvPosEquivs = NULL;
 
-- 
cgit v1.2.3