fix a warning in unit test compilation

diff --git a/test/unit/context/cdmap_black.h b/test/unit/context/cdmap_black.h
index 0358d1edda24a3b1de72c296937df89922a75ae6..b5438ae2e2de18aaf4bfc5cc24b15f19d9ac76b3 100644 (file)
--- 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);