From 63ce84d824c54d8ea0d22912bd6f69cf7c284324 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 8 Jan 2015 16:30:32 -0800
Subject: Implementation of CE extraction for multiple MUXes driving D-inputs
 of FFs.

---
 src/sat/bmc/bmcChain.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/bmc')

diff --git a/src/sat/bmc/bmcChain.c b/src/sat/bmc/bmcChain.c
index 6ef96560..324c7f6d 100644
--- a/src/sat/bmc/bmcChain.c
+++ b/src/sat/bmc/bmcChain.c
@@ -212,7 +212,7 @@ Vec_Int_t * Bmc_ChainFindFailedOutputs( Gia_Man_t * p, Vec_Ptr_t * vCexes )
     Gia_Man_t * pInit;
     Gia_Obj_t * pObj;
     sat_solver * pSat;
-    int i, j, k = 0, Lit, status = 0;
+    int i, j, Lit, status = 0;
     // derive output logic cones
     pInit = Gia_ManDupPosAndPropagateInit( p );
     // derive SAT solver and test
-- 
cgit v1.2.3