Mark thread_start() NO_RETURN.

[pintos-anon] / src / threads / thread.h

diff --git a/src/threads/thread.h b/src/threads/thread.h
index c011f709a27bd3e2b56c2a864fef272b42beaf84..efa3a024c419604a0e5beca2b68bb1cbc9e4a996 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -39,7 +39,7 @@ struct thread *thread_current (void);
 bool thread_execute (const char *filename);
 #endif
 
-void thread_start (struct thread *);
+void thread_start (struct thread *) NO_RETURN;
 void thread_ready (struct thread *);
 void thread_exit (void) NO_RETURN;