From e8cf8415c5c8c31db650f549e54fd7a3aad48be0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 9 Sep 2007 08:01:00 -0700
Subject: Version abc70909

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

(limited to 'src/aig/kit/module.make')

diff --git a/src/aig/kit/module.make b/src/aig/kit/module.make
index a01690d0..25c8e767 100644
--- a/src/aig/kit/module.make
+++ b/src/aig/kit/module.make
@@ -1,4 +1,5 @@
 SRC +=  src/aig/kit/kitBdd.c \
+    src/aig/kit/kitCloud.c src/aig/kit/cloud.c \
     src/aig/kit/kitDsd.c \
     src/aig/kit/kitFactor.c \
     src/aig/kit/kitGraph.c \
-- 
cgit v1.2.3