clockvector: snapshot the whole object

[c11tester.git] / clockvector.h

diff --git a/clockvector.h b/clockvector.h
index f2716dbd90497c9f260b1730bee9d25bc9c622fd..739a336e1adc6c81178686c10da60d411cd903b8 100644 (file)
--- a/clockvector.h
+++ b/clockvector.h
@@ -23,7 +23,7 @@ public:
        void print() const;
        modelclock_t getClock(thread_id_t thread);
 
-       MEMALLOC
+       SNAPSHOTALLOC
 private:
        /** @brief Holds the actual clock data, as an array. */
        modelclock_t *clock;