1 files changed, 2 insertions, 32 deletions
diff --git a/src/base/abci/module.make b/src/base/abci/module.make
index 4558119e..d7c0add2 100644
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -1,54 +1,24 @@
 SRC +=    src/base/abci/abc.c \
     src/base/abci/abcAttach.c \
-    src/base/abci/abcAuto.c \
     src/base/abci/abcBalance.c \
-    src/base/abci/abcBmc.c \
-    src/base/abci/abcCas.c \
-    src/base/abci/abcClpBdd.c \
-    src/base/abci/abcClpSop.c \
+    src/base/abci/abcCollapse.c \
     src/base/abci/abcCut.c \
-    src/base/abci/abcDar.c \
-    src/base/abci/abcDebug.c \
-    src/base/abci/abcDress.c \
     src/base/abci/abcDsd.c \
-    src/base/abci/abcEspresso.c \
-    src/base/abci/abcExtract.c \
     src/base/abci/abcFpga.c \
-    src/base/abci/abcFpgaFast.c \
     src/base/abci/abcFraig.c \
         src/base/abci/abcFxu.c \
-        src/base/abci/abcGen.c \
-        src/base/abci/abcHaig.c \
-    src/base/abci/abcIf.c \
-        src/base/abci/abcIvy.c \
-    src/base/abci/abcLut.c \
     src/base/abci/abcMap.c \
-    src/base/abci/abcMini.c \
     src/base/abci/abcMiter.c \
-    src/base/abci/abcMulti.c \
     src/base/abci/abcNtbdd.c \
-    src/base/abci/abcOdc.c \
-    src/base/abci/abcOrder.c \
-    src/base/abci/abcPart.c \
     src/base/abci/abcPrint.c \
-    src/base/abci/abcProve.c \
-    src/base/abci/abcQbf.c \
-    src/base/abci/abcQuant.c \
-    src/base/abci/abcRec.c \
     src/base/abci/abcReconv.c \
     src/base/abci/abcRefactor.c \
     src/base/abci/abcRenode.c \
-    src/base/abci/abcReorder.c \
-    src/base/abci/abcRestruct.c \
-    src/base/abci/abcResub.c \
     src/base/abci/abcRewrite.c \
-    src/base/abci/abcRr.c \
     src/base/abci/abcSat.c \
     src/base/abci/abcStrash.c \
     src/base/abci/abcSweep.c \
     src/base/abci/abcSymm.c \
     src/base/abci/abcTiming.c \
-    src/base/abci/abcUnate.c \
     src/base/abci/abcUnreach.c \
-    src/base/abci/abcVerify.c \
-    src/base/abci/abcXsim.c 
+    src/base/abci/abcVerify.c