X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fthread.h;h=9251ad88cb3c47ec1190099a9d2511dc99f93da3;hp=8a0df6e254052ff7c8a8ee1b44fda01876fc1e4e;hb=44d0fa6a2b24a84e5eb0d54959ed91c1d4f15343;hpb=4ba2bcacdde59e70754df916dcee39e45d564441

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 8a0df6e..9251ad8 100644
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -2,6 +2,7 @@
 #define HEADER_THREAD_H 1
 
 #include <stdint.h>
+#include "debug.h"
 #include "list.h"
 
 #ifdef USERPROG
@@ -40,7 +41,7 @@ bool thread_execute (const char *filename);
 
 void thread_start (struct thread *);
 void thread_ready (struct thread *);
-void thread_exit (void);
+void thread_exit (void) NO_RETURN;
 
 void thread_yield (void);
 void thread_sleep (void);