thread_schedule() now static.

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 9251ad88cb3c47ec1190099a9d2511dc99f93da3..c011f709a27bd3e2b56c2a864fef272b42beaf84 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -45,7 +45,6 @@ void thread_exit (void) NO_RETURN;
 
 void thread_yield (void);
 void thread_sleep (void);
-void thread_schedule (void);
 
 void thread_self_test (void);