utilize SnapshotAlloc STL allocator

[model-checker.git] / action.h

diff --git a/action.h b/action.h
index 65b060f6c1941b33720a3f9b572a9f2e7c0c8e31..96b791ee50bb12695de577b21f75e8926347103b 100644 (file)
--- a/action.h
+++ b/action.h
@@ -157,6 +157,6 @@ private:
        ClockVector *cv;
 };
 
-typedef std::list<ModelAction *> action_list_t;
+typedef std::list< ModelAction *, SnapshotAlloc<ModelAction *> > action_list_t;
 
 #endif /* __ACTION_H__ */