X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.h;h=228c3242e47a36a6774a5aa14515dde8a3db93c5;hp=2db1021af323b9acd6c6502c40579072d7454d15;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hpb=63bae7d91cfdc5d6f73b52702ecb6dcca515496c

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