From: Brian Norris <banorris@uci.edu>
Date: Mon, 14 May 2012 19:08:13 +0000 (-0700)
Subject: model: remove free_action_list() function
X-Git-Tag: pldi2013~409^2~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c876bb25f4ec30cbc0ad2929bf5b505418fbc4f1;p=model-checker.git

model: remove free_action_list() function
---

diff --git a/model.cc b/model.cc
index f4da330..90dcdc7 100644
--- a/model.cc
+++ b/model.cc
@@ -10,14 +10,6 @@
 
 ModelChecker *model;
 
-void free_action_list(action_list_t *list)
-{
-	action_list_t::iterator it;
-	for (it = list->begin(); it != list->end(); it++)
-		delete (*it);
-	delete list;
-}
-
 ModelChecker::ModelChecker()
 	:
 	/* Initialize default scheduler */