nodestack: action_set_t: replace STL 'set' with 'list'

diff --git a/nodestack.cc b/nodestack.cc
index d3b7c104316161d0268c8ae1b2db7a116fbbac74..f74a2938992078a9eeaabc90e9a5100da8b7fabf 100644 (file)
--- 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 59e545783a4f570ff852105f5d08792d562d2b03..5351d6c7e7b4eb693f6af5bbecc8c4c41f1094ff 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -7,14 +7,13 @@
 
 #include <list>
 #include <vector>
-#include <set>
 #include <cstddef>
 #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