projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
77ace5e
)
Fix build
author
Clark Barrett
<barrett@cs.nyu.edu>
Sat, 28 May 2016 17:52:38 +0000
(10:52 -0700)
committer
Clark Barrett
<barrett@cs.nyu.edu>
Sat, 28 May 2016 17:52:38 +0000
(10:52 -0700)
test/unit/Makefile.am
patch
|
blob
|
history
diff --git
a/test/unit/Makefile.am
b/test/unit/Makefile.am
index bb71a32bebbff70533bb4a967cc6a36f09141860..6615d6b37c173bf6d9191c1dea3d3da1aeab4e70 100644
(file)
--- 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 \