X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=0d9c69984603eaaa6a69bf4fac58c4af9e54ce54;hp=1025172727e1682bc0a350c9dc52630986fa621f;hb=f0612244c44f4b4f0bc79e3fc882e9f74bd4a3f4;hpb=7f2927ecf1a95b88002b344c5427644e75467beb

diff --git a/src/threads/init.c b/src/threads/init.c
index 1025172..0d9c699 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -21,7 +21,7 @@
 #include "threads/test.h"
 #include "threads/thread.h"
 #ifdef USERPROG
-#include "userprog/addrspace.h"
+#include "userprog/process.h"
 #include "userprog/exception.h"
 #include "userprog/gdt.h"
 #include "userprog/syscall.h"
@@ -113,7 +113,7 @@ main (void)
   if (initial_program != NULL)
     {
       printf ("\nExecuting '%s':\n", initial_program);
-      addrspace_execute (initial_program); 
+      process_execute (initial_program); 
     }
 #else
   test ();