libthreads: only record 'final' even for thrd_join

[model-checker.git] / schedule.h

diff --git a/schedule.h b/schedule.h
index bdccf1185e07d69e3b84fae13146ee9b6cae5bf0..64531b5e94eb5023887b6779bcd5acb132bc82df 100644 (file)
--- a/schedule.h
+++ b/schedule.h
@@ -3,7 +3,7 @@
 
 #include <queue>
 
-#include "threads_internal.h"
+#include "threads.h"
 #include "model.h"
 
 class Scheduler {