From: Brian Norris <banorris@uci.edu>
Date: Tue, 16 Apr 2013 03:11:14 +0000 (-0700)
Subject: execution: make structure snapshotting
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=aeb054abf1a84d816e655c14efb62adf20874080

execution: make structure snapshotting

All members are snapshot-able.
---

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;