1 files changed, 0 insertions, 17 deletions
diff --git a/src/aig/fra/module.make b/src/aig/fra/module.make
deleted file mode 100644
index e3a88aae..00000000
--- a/src/aig/fra/module.make
+++ /dev/null
@@ -1,17 +0,0 @@
-SRC +=    src/aig/fra/fraBmc.c \
-    src/aig/fra/fraCec.c \
-    src/aig/fra/fraClass.c \
-    src/aig/fra/fraClau.c \
-    src/aig/fra/fraClaus.c \
-    src/aig/fra/fraCnf.c \
-    src/aig/fra/fraCore.c \
-    src/aig/fra/fraHot.c \
-    src/aig/fra/fraImp.c \
-    src/aig/fra/fraInd.c \
-    src/aig/fra/fraIndVer.c \
-    src/aig/fra/fraLcr.c \
-    src/aig/fra/fraMan.c \
-    src/aig/fra/fraPart.c \
-    src/aig/fra/fraSat.c \
-    src/aig/fra/fraSec.c \
-    src/aig/fra/fraSim.c