From 13af354e762ebf0282eaf59a1e4758a89adb8558 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 2 Oct 2012 12:17:16 -0700 Subject: [PATCH] clockvector: snapshot the whole object --- clockvector.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clockvector.h b/clockvector.h index f2716db..739a336 100644 --- 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; -- 2.34.1