1 files changed, 0 insertions, 16 deletions
diff --git a/src/misc/mvc/module.make b/src/misc/mvc/module.make
deleted file mode 100644
index 23735ca2..00000000
--- a/src/misc/mvc/module.make
+++ /dev/null
@@ -1,16 +0,0 @@
-SRC +=  src/misc/mvc/mvc.c \
-    src/misc/mvc/mvcApi.c \
-    src/misc/mvc/mvcCompare.c \
-    src/misc/mvc/mvcContain.c \
-    src/misc/mvc/mvcCover.c \
-    src/misc/mvc/mvcCube.c \
-    src/misc/mvc/mvcDivide.c \
-    src/misc/mvc/mvcDivisor.c \
-    src/misc/mvc/mvcList.c \
-    src/misc/mvc/mvcLits.c \
-    src/misc/mvc/mvcMan.c \
-    src/misc/mvc/mvcOpAlg.c \
-    src/misc/mvc/mvcOpBool.c \
-    src/misc/mvc/mvcPrint.c \
-    src/misc/mvc/mvcSort.c \
-    src/misc/mvc/mvcUtils.c