diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/unit/context/cdmap_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
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); |