From ef288ed5d011562c2e0a0760e0e0ff49150c6169 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 27 Oct 2011 14:28:41 -0700
Subject: [PATCH] Removed some recently added file, which broke compilation.

---
 src/aig/kit/module.make | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/aig/kit/module.make b/src/aig/kit/module.make
index 35f53d482..a592aeec6 100644
--- a/src/aig/kit/module.make
+++ b/src/aig/kit/module.make
@@ -6,7 +6,6 @@ SRC +=  src/aig/kit/kitAig.c \
     src/aig/kit/kitGraph.c \
     src/aig/kit/kitHop.c \
     src/aig/kit/kitIsop.c \
-    src/aig/kit/kitPerm.c \
     src/aig/kit/kitPla.c \
     src/aig/kit/kitSop.c \
     src/aig/kit/kitTruth.c