rename threads_internal.h -> threads.h

[model-checker.git] / schedule.cc

diff --git a/schedule.cc b/schedule.cc
index 60d84a8af6b307d1d51d892e3712aa8d8910ab87..691c6f43088595300ac198783328d4b102c8b0f4 100644 (file)
--- a/schedule.cc
+++ b/schedule.cc
@@ -1,4 +1,4 @@
-#include "threads_internal.h"
+#include "threads.h"
 #include "schedule.h"
 #include "common.h"
 #include "model.h"