1 files changed, 0 insertions, 15 deletions
diff --git a/abc70930/src/misc/extra/module.make b/abc70930/src/misc/extra/module.make
deleted file mode 100644
index ec8bca4d..00000000
--- a/abc70930/src/misc/extra/module.make
+++ /dev/null
@@ -1,15 +0,0 @@
-SRC +=    src/misc/extra/extraBddAuto.c \
-    src/misc/extra/extraBddCas.c \
-    src/misc/extra/extraBddKmap.c \
-    src/misc/extra/extraBddMisc.c \
-    src/misc/extra/extraBddSymm.c \
-    src/misc/extra/extraBddUnate.c \
-    src/misc/extra/extraUtilBitMatrix.c \
-    src/misc/extra/extraUtilCanon.c \
-    src/misc/extra/extraUtilFile.c \
-    src/misc/extra/extraUtilMemory.c \
-    src/misc/extra/extraUtilMisc.c \
-    src/misc/extra/extraUtilProgress.c \
-    src/misc/extra/extraUtilReader.c \
-    src/misc/extra/extraUtilTruth.c \
-    src/misc/extra/extraUtilUtil.c