execution: make structure snapshotting

[model-checker.git] / execution.h

diff --git a/execution.h b/execution.h
index 616a47cb47a4e34c182359e0217724b2808e59ad..b152ae2a8386ae54ca235d9f20fd57271b10c4a8 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;