From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 Jul 2012 20:40:00 +0000 (+0000)
Subject: fix a warning in unit test compilation
X-Git-Tag: cvc5-1.0.0~7931
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a3442c2541325cff8b97f5fc27bcaf5fb96ef184;p=cvc5.git

fix a warning in unit test compilation
---

diff --git a/test/unit/context/cdmap_black.h b/test/unit/context/cdmap_black.h
index 0358d1edd..b5438ae2e 100644
--- a/test/unit/context/cdmap_black.h
+++ b/test/unit/context/cdmap_black.h
@@ -945,7 +945,7 @@ public:
     {
       d_context->push();
 
-      int* x = (int*) d_context->getCMM()->newData(sizeof(int));
+      int* x CVC4_UNUSED = (int*) d_context->getCMM()->newData(sizeof(int));
 
       list1 = new(d_context->getCMM()) CDList<myint>(true, d_context);
       list2 = new(d_context->getCMM()) CDList<myint>(true, d_context);