Rename execute_thread() to start_process().

[pintos-anon] / ta-advice / HW2

diff --git a/ta-advice/HW2 b/ta-advice/HW2
index 95049b38e1a8b7b0bdcefa55a8a015f3ee14a1c8..658ff7872d349bad1193589c141166d205d9a3f8 100644 (file)
--- a/ta-advice/HW2
+++ b/ta-advice/HW2
@@ -318,7 +318,7 @@ B1(iv):
     solution's structure:
 
        /* Data structure shared between process_execute() in the
-          invoking thread and execute_thread() in the newly invoked
+          invoking thread and start_process() in the newly invoked
           thread. */
        struct exec_info 
          {