From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 8 Jul 2006 19:26:38 +0000 (+0000)
Subject: Fix comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=07657a49343bc38b38450fdad0f8773eaa861537;p=pintos-anon

Fix comment.
---

diff --git a/solutions/p1.patch b/solutions/p1.patch
index fd3928b..7f95cef 100644
--- a/solutions/p1.patch
+++ b/solutions/p1.patch
@@ -729,7 +729,7 @@ diff -u src/threads/thread.h~ src/threads/thread.h
  
 +    /* Alarm clock. */
 +    int64_t wakeup_time;                /* Time to wake this thread up. */
-+    struct list_elem timer_elem;        /* Element in timer_wait_list. */
++    struct list_elem timer_elem;        /* Element in wait_list. */
 +    struct semaphore timer_sema;        /* Semaphore. */
 +
  #ifdef USERPROG