From: Clark Barrett <barrett@cs.nyu.edu>
Date: Sat, 28 May 2016 17:52:38 +0000 (-0700)
Subject: Fix build
X-Git-Tag: cvc5-1.0.0~6049^2~21
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e71d5ff52ea5c098df9f0be62c91468a9b5413b5;p=cvc5.git

Fix build
---

diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am
index bb71a32be..6615d6b37 100644
--- a/test/unit/Makefile.am
+++ b/test/unit/Makefile.am
@@ -34,7 +34,6 @@ UNIT_TESTS += \
 	context/cdo_black \
 	context/cdlist_black \
 	context/cdlist_context_memory_black \
-#	context/cdmap_black
 	context/cdmap_white \
 	context/cdvector_black \
 	context/stacking_vector_black \