X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.h;h=2db1021af323b9acd6c6502c40579072d7454d15;hb=73d87f4d52231edc186c428daf3cebc7755c54ce;hp=cd9463d6928c4fdd8fadbb52d0abd9ddad9472ef;hpb=de6fa5350d2ddf2d36bab80236cf09d8127cde6b;p=pintos-anon

diff --git a/src/userprog/process.h b/src/userprog/process.h
index cd9463d..2db1021 100644
--- a/src/userprog/process.h
+++ b/src/userprog/process.h
@@ -4,7 +4,7 @@
 #include "threads/thread.h"
 
 tid_t process_execute (const char *filename);
-void process_destroy (struct thread *);
+void process_exit (void);
 void process_activate (void);
 
 #endif /* userprog/process.h */