clean up header #includes

[model-checker.git] / schedule.h

diff --git a/schedule.h b/schedule.h
index c633b28987d7ef97da5d1130060021260e65b0f6..48fdde1eb08f2f39eae6984f84ce63dbcf7b3cfc 100644 (file)
--- a/schedule.h
+++ b/schedule.h
@@ -3,9 +3,10 @@
 
 #include <list>
 
-#include "threads.h"
 #include "model.h"
 
+class Thread;
+
 class Scheduler {
 public:
        void add_thread(Thread *t);