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/opt/dau/module.make | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/opt/dau')

diff --git a/src/opt/dau/module.make b/src/opt/dau/module.make
index d481c74a..5a3df1d5 100644
--- a/src/opt/dau/module.make
+++ b/src/opt/dau/module.make
@@ -1,5 +1,4 @@
-SRC +=    src/opt/dau/dau.c \
-    src/opt/dau/dauCanon.c \
+SRC +=    src/opt/dau/dauCanon.c \
     src/opt/dau/dauCore.c \
     src/opt/dau/dauDivs.c \
     src/opt/dau/dauDsd.c \
-- 
cgit v1.2.3