1 files changed, 0 insertions, 10 deletions
diff --git a/src/aig/dar/module.make b/src/aig/dar/module.make
deleted file mode 100644
index b1b0332c..00000000
--- a/src/aig/dar/module.make
+++ /dev/null
@@ -1,10 +0,0 @@
-SRC +=    src/aig/dar/darBalance.c \
-    src/aig/dar/darCore.c \
-    src/aig/dar/darCut.c \
-    src/aig/dar/darData.c \
-    src/aig/dar/darLib.c \
-    src/aig/dar/darMan.c \
-    src/aig/dar/darPrec.c \
-    src/aig/dar/darRefact.c \
-    src/aig/dar/darResub.c \
-    src/aig/dar/darScript.c