From 6a939b63828da5204387f681a451829aa35171f1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 6 Nov 2011 08:26:30 -0800
Subject: Experiments with variable permutation.

---
 src/aig/kit/kitPerm.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/aig/kit/kitPerm.c b/src/aig/kit/kitPerm.c
index e02cb9be..d3e9ff5a 100644
--- a/src/aig/kit/kitPerm.c
+++ b/src/aig/kit/kitPerm.c
@@ -252,8 +252,8 @@ word Tf ( word f, int n)
         return f;
     else
     {
-        int x = (int)pow(2,n-1);
-//        int x;
+//        int x = (int)pow(2,n-1);
+        int x;
         x = (1 << (n-1));
         return (  M (Tf( (f << x) >> x, n-1), Tf( (f >> x), n-1), x) );     //def. of M just below the function
      }
-- 
cgit v1.2.3