diff --git a/src/aig/kit/kitPerm.c b/src/aig/kit/kitPerm.c
index e02cb9be7..d3e9ff5af 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
      }