1 files changed, 0 insertions, 39 deletions
diff --git a/src/misc/espresso/module.make b/src/misc/espresso/module.make
deleted file mode 100644
index 53ce982a..00000000
--- a/src/misc/espresso/module.make
+++ /dev/null
@@ -1,39 +0,0 @@
-SRC +=  src/misc/espresso/cofactor.c \
-    src/misc/espresso/cols.c \
-    src/misc/espresso/compl.c \
-    src/misc/espresso/contain.c \
-    src/misc/espresso/cubehack.c \
-    src/misc/espresso/cubestr.c \
-    src/misc/espresso/cvrin.c \
-    src/misc/espresso/cvrm.c \
-    src/misc/espresso/cvrmisc.c \
-    src/misc/espresso/cvrout.c \
-    src/misc/espresso/dominate.c \
-    src/misc/espresso/equiv.c \
-    src/misc/espresso/espresso.c \
-    src/misc/espresso/essen.c \
-    src/misc/espresso/exact.c \
-    src/misc/espresso/expand.c \
-    src/misc/espresso/gasp.c \
-    src/misc/espresso/gimpel.c \
-    src/misc/espresso/globals.c \
-    src/misc/espresso/hack.c \
-    src/misc/espresso/indep.c \
-    src/misc/espresso/irred.c \
-    src/misc/espresso/map.c \
-    src/misc/espresso/matrix.c \
-    src/misc/espresso/mincov.c \
-    src/misc/espresso/opo.c \
-    src/misc/espresso/pair.c \
-    src/misc/espresso/part.c \
-    src/misc/espresso/primes.c \
-    src/misc/espresso/reduce.c \
-    src/misc/espresso/rows.c \
-    src/misc/espresso/set.c \
-    src/misc/espresso/setc.c \
-    src/misc/espresso/sharp.c \
-    src/misc/espresso/sminterf.c \
-    src/misc/espresso/solution.c \
-    src/misc/espresso/sparse.c \
-    src/misc/espresso/unate.c \
-    src/misc/espresso/verify.c