1 files changed, 0 insertions, 17 deletions
diff --git a/src/aig/ntl/module.make b/src/aig/ntl/module.make
deleted file mode 100644
index 2af0f4e0..00000000
--- a/src/aig/ntl/module.make
+++ /dev/null
@@ -1,17 +0,0 @@
-SRC +=    src/aig/ntl/ntlCheck.c \
-    src/aig/ntl/ntlCore.c \
-    src/aig/ntl/ntlEc.c \
-    src/aig/ntl/ntlExtract.c \
-    src/aig/ntl/ntlFraig.c \
-    src/aig/ntl/ntlInsert.c \
-    src/aig/ntl/ntlMan.c \
-    src/aig/ntl/ntlMap.c \
-    src/aig/ntl/ntlNames.c \
-    src/aig/ntl/ntlObj.c \
-    src/aig/ntl/ntlReadBlif.c \
-    src/aig/ntl/ntlSweep.c \
-    src/aig/ntl/ntlTable.c \
-    src/aig/ntl/ntlTime.c \
-    src/aig/ntl/ntlUtil.c \
-    src/aig/ntl/ntlWriteBlif.c
-