From a3442c2541325cff8b97f5fc27bcaf5fb96ef184 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 14 Jul 2012 20:40:00 +0000 Subject: [PATCH] fix a warning in unit test compilation --- test/unit/context/cdmap_black.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(true, d_context); list2 = new(d_context->getCMM()) CDList(true, d_context); -- 2.30.2