remove old release sequences

[c11tester.git] / model.h

diff --git a/model.h b/model.h
index 1d032e1b1e0727113f8167d6e0f09a84ed93fbc1..18fcf0beb0f10edff52f5921bafa9234c447b3d1 100644 (file)
--- a/model.h
+++ b/model.h
@@ -16,13 +16,10 @@
 #include "context.h"
 #include "params.h"
 
-#include <map>
-
 /* Forward declaration */
 class Node;
 class NodeStack;
 class CycleGraph;
-class Promise;
 class Scheduler;
 class Thread;
 class ClockVector;
@@ -80,7 +77,6 @@ public:
        void add_trace_analysis(TraceAnalysis *a) {     trace_analyses.push_back(a); }
        void set_inspect_plugin(TraceAnalysis *a) {     inspect_plugin=a;       }
        MEMALLOC
-       std::map<pthread_t, ModelAction*> pthread_map;
 private:
        /** Flag indicates whether to restart the model checker. */
        bool restart_flag;
@@ -104,7 +100,6 @@ private:
        Thread * get_next_thread();
        void reset_to_initial_state();
 
-
        ModelAction *diverge;
        ModelAction *earliest_diverge;