diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-14 20:40:00 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-14 20:40:00 +0000 |
| commit | a3442c2541325cff8b97f5fc27bcaf5fb96ef184 (patch) | |
| tree | 94291277770bb3a66683f6d241754e51a284c6cb /test | |
| parent | ba20b4a936739d6d08ba72836aec18aa8969e447 (diff) | |
fix a warning in unit test compilation
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); |