X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.h;h=688cd2a37fd2c1bd7fdcb417f834026a25fa4945;hp=228c3242e47a36a6774a5aa14515dde8a3db93c5;hb=c0206643b024b6f0e6cde1cbb5e7d37abbc84c69;hpb=3cd7e2f105756543b68f937f327131c7bbaaa88e

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