From aeb054abf1a84d816e655c14efb62adf20874080 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 15 Apr 2013 20:11:14 -0700 Subject: [PATCH] execution: make structure snapshotting All members are snapshot-able. --- execution.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/execution.h b/execution.h index 616a47c..b152ae2 100644 --- a/execution.h +++ b/execution.h @@ -113,7 +113,7 @@ public: action_list_t * get_action_trace() const { return action_trace; } - MEMALLOC + SNAPSHOTALLOC private: int get_execution_number() const; -- 2.34.1