From e1a5556e8c331be2dae6ca63a4528ad8e1f56025 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 24 Dec 2012 08:16:19 +0700
Subject: New unrolling manager.

---
 src/sat/bmc/module.make | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/sat/bmc/module.make')

diff --git a/src/sat/bmc/module.make b/src/sat/bmc/module.make
index 41747be7..b35577fb 100644
--- a/src/sat/bmc/module.make
+++ b/src/sat/bmc/module.make
@@ -5,4 +5,5 @@ SRC +=    src/sat/bmc/bmc.c \
     src/sat/bmc/bmcCexCut.c \
     src/sat/bmc/bmcCexMin1.c \
     src/sat/bmc/bmcCexMin2.c \
-    src/sat/bmc/bmcCexTools.c
+    src/sat/bmc/bmcCexTools.c \
+    src/sat/bmc/bmcUnroll.c
-- 
cgit v1.2.3