change data structures

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index 752731e246adc93c9ecaa6a03fef22471f04f77c..61e3569bbdfe8a9f09efb8e354eacc119257d8ab 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -8,10 +8,11 @@
 #include <stdint.h>
 
 #include "mymemory.h"
-#include <threads.h>
+#include "threads.h"
 #include "modeltypes.h"
 #include "stl-model.h"
 #include "context.h"
+#include "classlist.h"
 
 struct thread_params {
        thrd_start_t func;
@@ -35,7 +36,6 @@ typedef enum thread_state {
        THREAD_COMPLETED
 } thread_state;
 
-class ModelAction;
 
 /** @brief A Thread is created for each user-space thread */
 class Thread {
@@ -187,4 +187,4 @@ static inline int id_to_int(thread_id_t id)
        return id;
 }
 
-#endif /* __THREADS_MODEL_H__ */
+#endif /* __THREADS_MODEL_H__ */