More fuzzing changes
[c11tester.git] / threads-model.h
index 752731e246adc93c9ecaa6a03fef22471f04f77c..8ba9d9b6d83d34fe7f9f057ad53a3e16356e32d3 100644 (file)
@@ -12,6 +12,7 @@
 #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 {