From 805eb96d6d1be9542fd9af90125df190f796703f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Oct 2013 23:03:17 -0700
Subject: Integrating synthesis into the new BMC engine.

---
 src/map/if/ifDec07.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/if/ifDec07.c')

diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c
index b5f4d324..1bbc93fb 100644
--- a/src/map/if/ifDec07.c
+++ b/src/map/if/ifDec07.c
@@ -713,7 +713,7 @@ word If_Dec5Perform( word t, int fDerive )
 {
     int Pla2Var[7], Var2Pla[7];
     int i, j, v;
-    word t0 = t;
+//    word t0 = t;
     word c0, c1, c00, c01, c10, c11;
     for ( i = 0; i < 5; i++ )
     {
-- 
cgit v1.2.3