From 390a145f0a293ae37d969d2d8ce5086a31d78ab5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 13 Feb 2016 15:15:01 -0800
Subject: Adding support for a different bit-blasting of a multiplier and
 squarer.

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

(limited to 'src/aig/gia/giaSatMap.c')

diff --git a/src/aig/gia/giaSatMap.c b/src/aig/gia/giaSatMap.c
index db04aa1c..56f739d8 100644
--- a/src/aig/gia/giaSatMap.c
+++ b/src/aig/gia/giaSatMap.c
@@ -84,7 +84,7 @@ struct Sbm_Man_t_
 ***********************************************************************/
 int Sbm_ManCheckSol( Sbm_Man_t * p, Vec_Int_t * vSol )
 {
-    int K = Vec_IntSize(vSol) - 1;
+    //int K = Vec_IntSize(vSol) - 1;
     int i, j, Lit, Cut;
     int RetValue = 1;
     Vec_Int_t * vCut;
-- 
cgit v1.2.3