X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=96b791ee50bb12695de577b21f75e8926347103b;hb=d96312573c237eb9648976be85de39261c9531c6;hp=65b060f6c1941b33720a3f9b572a9f2e7c0c8e31;hpb=4ee37711afd0de98bc757ed4853a81d66a6a1533;p=model-checker.git

diff --git a/action.h b/action.h
index 65b060f..96b791e 100644
--- 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__ */