From c441ea0cf066d284e9c08cb925104259798311c8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 11 Apr 2016 21:43:37 -0700
Subject: [PATCH] Updates to Exorcism package

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

diff --git a/Makefile b/Makefile
index f05d39b54..02a257299 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ PROG := abc
 
 MODULES := \
 	$(wildcard src/ext*) \
-	src/base/abc src/base/abci src/base/cmd src/base/io src/base/main \
+	src/base/abc src/base/abci src/base/cmd src/base/io src/base/main /src/base/exor \
 	src/base/ver src/base/wlc src/base/bac src/base/cba src/base/pla src/base/test \
 	src/map/mapper src/map/mio src/map/super src/map/if \
 	src/map/amap src/map/cov src/map/scl src/map/mpm \