1 files changed, 1 insertions, 9 deletions
diff --git a/src/aig/dar/module.make b/src/aig/dar/module.make
index 4bf473d4..bcf9a2e6 100644
--- a/src/aig/dar/module.make
+++ b/src/aig/dar/module.make
@@ -1,15 +1,7 @@
 SRC +=    src/aig/dar/darBalance.c \
-    src/aig/dar/darCheck.c \
     src/aig/dar/darCore.c \
     src/aig/dar/darCut.c \
     src/aig/dar/darData.c \
-    src/aig/dar/darDfs.c \
     src/aig/dar/darLib.c \
     src/aig/dar/darMan.c \
-    src/aig/dar/darMem.c \
-    src/aig/dar/darObj.c \
-    src/aig/dar/darOper.c \
-    src/aig/dar/darSeq.c \
-    src/aig/dar/darTable.c \
-    src/aig/dar/darTruth.c \
-    src/aig/dar/darUtil.c 
+    src/aig/dar/darTruth.c