diff --git a/userprog/process.c b/userprog/process.c index ec839e9b1fb510c581307ef558a55bd2a70fb90e..11d500cd31061d2dbcbc5c27a1aff13abce39c08 100644 --- a/userprog/process.c +++ b/userprog/process.c @@ -30,7 +30,7 @@ process_execute (const char *file_name) { char *save_ptr, *real_name; real_name = strtok_r(file_name, " ", &save_ptr); - puts(real_name) + puts(real_name); char *fn_copy; tid_t tid;