execution: make structure snapshotting

All members are snapshot-able.

diff --git a/execution.h b/execution.h
index 616a47c..b152ae2 100644 (file)
--- 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;