}
}
} // for bug
-} // TEST
+}
/// Test DSched support for auxiliary data and global invariants
///
}
/* Constructor -- calls original constructor */
- AnnotatedAtomicCounter(int val) : Base<T>(val) {}
+ explicit AnnotatedAtomicCounter(int val) : Base<T>(val) {}
/* Overloads of original member functions (as needed) */