From 71cbf17e7f0352556af12ccccf9051e02c773e58 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Feb 2011 17:46:48 -0800
Subject: Unified the use of counter-examples in three packages.

---
 src/misc/util/module.make | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/misc/util/module.make')

diff --git a/src/misc/util/module.make b/src/misc/util/module.make
index c70d582a..776a1705 100644
--- a/src/misc/util/module.make
+++ b/src/misc/util/module.make
@@ -1 +1,3 @@
-SRC += src/misc/util/utilFile.c src/misc/util/utilSignal.c
+SRC +=  src/misc/util/utilCex.c \
+    src/misc/util/utilFile.c \
+    src/misc/util/utilSignal.c
-- 
cgit v1.2.3