From 6b2da3978f69aa107568ed2a03845376d136a9b4 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 17 Jul 2012 20:46:45 -0700
Subject: Adding new file to the build file.

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

(limited to 'src')

diff --git a/src/base/abci/module.make b/src/base/abci/module.make
index 1a240e91..ea2dc1b7 100644
--- a/src/base/abci/module.make
+++ b/src/base/abci/module.make
@@ -43,6 +43,7 @@ SRC +=    src/base/abci/abc.c \
     src/base/abci/abcQbf.c \
     src/base/abci/abcQuant.c \
     src/base/abci/abcRec.c \
+    src/base/abci/abcRec2.c \
     src/base/abci/abcReconv.c \
     src/base/abci/abcReach.c \
     src/base/abci/abcRefactor.c \
-- 
cgit v1.2.3