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

[model-checker.git] / nodestack.h

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