From dcb7d0d3fcf7f8736031b6966e47d71efe79450f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 12 Sep 2014 13:40:48 -0700
Subject: New word-level representation package.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 77266a2c..11ac44bb 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ PROG := abc
 MODULES := \
 	$(wildcard src/ext) src/misc/ext \
 	src/base/abc src/base/abci src/base/cmd src/base/io \
-	src/base/main src/base/ver src/base/test \
+	src/base/main src/base/ver src/base/wlc src/base/test \
 	src/bdd/cudd src/bdd/dsd src/bdd/epd src/bdd/mtr src/bdd/parse \
 	src/bdd/reo src/bdd/cas \
 	src/map/mapper src/map/mio src/map/super src/map/if \
-- 
cgit v1.2.3