From 4e8626fa3721aededd84133382625e20ae6490cf Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 3 Jul 2012 16:47:20 -0700 Subject: [PATCH] nodestack: action_set_t: replace STL 'set' with 'list' --- nodestack.cc | 2 +- nodestack.h | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/nodestack.cc b/nodestack.cc index d3b7c10..f74a293 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -119,7 +119,7 @@ bool Node::is_enabled(Thread *t) */ void Node::add_read_from(ModelAction *act) { - may_read_from.insert(act); + may_read_from.push_back(act); } void Node::explore(thread_id_t tid) diff --git a/nodestack.h b/nodestack.h index 59e5457..5351d6c 100644 --- a/nodestack.h +++ b/nodestack.h @@ -7,14 +7,13 @@ #include #include -#include #include #include "threads.h" #include "mymemory.h" class ModelAction; -typedef std::set< ModelAction *, std::less< ModelAction *>, MyAlloc< ModelAction * > > action_set_t; +typedef std::list< ModelAction *, MyAlloc< ModelAction * > > action_set_t; /** * @brief A single node in a NodeStack -- 2.34.1