From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 29 Aug 2004 07:09:30 +0000 (+0000)
Subject: thread_schedule() now static.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cb9b3ab2633081588f5ef09235658454cfa6c800;p=pintos-anon

thread_schedule() now static.
---

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 9251ad8..c011f70 100644
--- 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);