From 5f075adc1910309c8b1730dfe0cda2d89a7c428a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 25 Mar 2012 16:58:40 -0700
Subject: Logic sharing for multi-input gates.

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

diff --git a/src/base/abci/module.make b/src/base/abci/module.make
index 80fe22e6..1a240e91 100644
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -55,7 +55,6 @@ SRC +=    src/base/abci/abc.c \
     src/base/abci/abcSat.c \
     src/base/abci/abcScorr.c \
     src/base/abci/abcSense.c \
-    src/base/abci/abcShare.c \
     src/base/abci/abcSpeedup.c \
     src/base/abci/abcStrash.c \
     src/base/abci/abcSweep.c \
-- 
cgit v1.2.3