From c876bb25f4ec30cbc0ad2929bf5b505418fbc4f1 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Mon, 14 May 2012 12:08:13 -0700 Subject: [PATCH] model: remove free_action_list() function --- model.cc | 8 -------- 1 file changed, 8 deletions(-) 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 */ -- 2.34.1