From ffa881bce2d4974f15a05bfa441e8dd1bf6b4c9e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 19 Mar 2014 15:54:50 -0700
Subject: Experiments with recent ideas.

---
 src/sat/bmc/module.make | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/sat/bmc/module.make b/src/sat/bmc/module.make
index ff9bca40..df8601e7 100644
--- a/src/sat/bmc/module.make
+++ b/src/sat/bmc/module.make
@@ -9,6 +9,7 @@ SRC +=    src/sat/bmc/bmcBmc.c \
     src/sat/bmc/bmcCexTools.c \
     src/sat/bmc/bmcFault.c \
     src/sat/bmc/bmcICheck.c \
+    src/sat/bmc/bmcLilac.c \
     src/sat/bmc/bmcLoad.c \
     src/sat/bmc/bmcMulti.c \
     src/sat/bmc/bmcTulip.c \
-- 
cgit v1.2.3