From 3814121784af2250e2d5f17173b209e74cb7ae45 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 14 Jun 2006 08:01:00 -0700
Subject: Version abc60614

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

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

diff --git a/src/base/abci/module.make b/src/base/abci/module.make
index c297180d..5d35678d 100644
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -11,7 +11,7 @@ SRC +=    src/base/abci/abc.c \
     src/base/abci/abcFraig.c \
         src/base/abci/abcFxu.c \
         src/base/abci/abcGen.c \
-    src/base/abci/abcIvy.c \
+    src/base/abci/abcLut.c \
     src/base/abci/abcMap.c \
     src/base/abci/abcMiter.c \
     src/base/abci/abcNtbdd.c \
-- 
cgit v1.2.3