1 files changed, 5 insertions, 2 deletions
diff --git a/test/unit/expr/attribute_black.h b/test/unit/expr/attribute_black.h
index d162171d6..bea04a139 100644
--- a/test/unit/expr/attribute_black.h
+++ b/test/unit/expr/attribute_black.h
@@ -145,9 +145,10 @@ public:
   }
 
   class Foo {
-    int blah CVC4_UNUSED;
+    int d_bar;
   public:
-    Foo(int b) : blah(b) {}
+    Foo(int b) : d_bar(b) {}
+    int getBar() const { return d_bar; }
   };
 
   struct PtrAttributeId {};
@@ -175,6 +176,8 @@ public:
     TS_ASSERT(!node->getAttribute(cdattr, data2));
     node->setAttribute(cdattr, val);
     TS_ASSERT(node->getAttribute(cdattr, data3));
+    TS_ASSERT(data3 != NULL);
+    TS_ASSERT_EQUALS(63489, data3->getBar());
     TS_ASSERT_EQUALS(data3, val);
     delete node;
     delete val;