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

(limited to 'src/misc/tim')

diff --git a/src/misc/tim/module.make b/src/misc/tim/module.make
index 00609901..3c27a908 100644
--- a/src/misc/tim/module.make
+++ b/src/misc/tim/module.make
@@ -1,5 +1,4 @@
-SRC +=    src/misc/tim/tim.c \
-    src/misc/tim/timBox.c \
+SRC +=    src/misc/tim/timBox.c \
     src/misc/tim/timDump.c \
     src/misc/tim/timMan.c \
     src/misc/tim/timTime.c \
-- 
cgit v1.2.3