From 2140c1298cee7f7ae7310bf208374447c5a0321e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 16 Feb 2014 19:49:10 -0800
Subject: Removing unused LMS code.

---
 src/base/abci/module.make | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/base/abci/module.make')

diff --git a/src/base/abci/module.make b/src/base/abci/module.make
index 8d97c6cf..2f75a863 100644
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -44,8 +44,6 @@ SRC +=    src/base/abci/abc.c \
     src/base/abci/abcProve.c \
     src/base/abci/abcQbf.c \
     src/base/abci/abcQuant.c \
-    src/base/abci/abcRec.c \
-    src/base/abci/abcRec2.c \
     src/base/abci/abcRec3.c \
     src/base/abci/abcReconv.c \
     src/base/abci/abcReach.c \
-- 
cgit v1.2.3