From 0e57e953062cd2d97573d8428f6f77853ba8535e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 Mar 2006 08:01:00 -0800
Subject: Version abc60303

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

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

diff --git a/src/base/abci/module.make b/src/base/abci/module.make
index 3ca188b7..4339b520 100644
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -19,6 +19,8 @@ SRC +=    src/base/abci/abc.c \
     src/base/abci/abcReconv.c \
     src/base/abci/abcRefactor.c \
     src/base/abci/abcRenode.c \
+    src/base/abci/abcRestruct.c \
+    src/base/abci/abcResub.c \
     src/base/abci/abcRewrite.c \
     src/base/abci/abcSat.c \
     src/base/abci/abcStrash.c \
-- 
cgit v1.2.3