From a27a7bc827d29021cf1f418874731b8855a836fd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 27 Feb 2013 12:12:23 -0500
Subject: User-controlable SAT sweeper and other small changes.

---
 src/map/mapper/module.make | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/map/mapper')

diff --git a/src/map/mapper/module.make b/src/map/mapper/module.make
index bd6447d8..aa6e6a41 100644
--- a/src/map/mapper/module.make
+++ b/src/map/mapper/module.make
@@ -4,7 +4,6 @@ SRC +=  src/map/mapper/mapper.c \
     src/map/mapper/mapperCreate.c \
     src/map/mapper/mapperCut.c \
     src/map/mapper/mapperCutUtils.c \
-    src/map/mapper/mapperFanout.c \
     src/map/mapper/mapperLib.c \
     src/map/mapper/mapperMatch.c \
     src/map/mapper/mapperRefs.c \
-- 
cgit v1.2.3