From: Brian Norris <banorris@uci.edu>
Date: Fri, 25 May 2012 23:50:55 +0000 (-0700)
Subject: action: add all action_lists to snapshot...
X-Git-Tag: pldi2013~392^2~35
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4f25a82d9a14102ee8abe83899c55a2230c5ce20;p=model-checker.git

action: add all action_lists to snapshot...
---

diff --git a/action.h b/action.h
index 005e658..b635e06 100644
--- a/action.h
+++ b/action.h
@@ -58,6 +58,6 @@ private:
 	int seq_number;
 };
 
-typedef std::list<class ModelAction *, MyAlloc< class ModelAction * > > action_list_t;
+typedef std::list<class ModelAction *> action_list_t;
 
 #endif /* __ACTION_H__ */