X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.h;fp=execution.h;h=b152ae2a8386ae54ca235d9f20fd57271b10c4a8;hb=aeb054abf1a84d816e655c14efb62adf20874080;hp=616a47cb47a4e34c182359e0217724b2808e59ad;hpb=7bfea91f33595532cf618fe3d090e8021f578795;p=model-checker.git

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;