fix sema_up() and hence the priority-sema testcase => 2/18 failed

+ some minor documentation and cleanup stuff

1 files changed, 1 insertions, 1 deletions

diff --git a/threads/thread.h b/threads/thread.h
index 8bc6512..8cfafe6 100644
--- a/threads/thread.h
+++ b/threads/thread.h
@@ -110,7 +110,7 @@ struct thread
 
     int is_donated;                     /* flag if threads priority has been donated by another thread */
     int saved_priority;                 /* saved base priority in case of priority dontation */
-    struct list locks;                  /* list of locks we currently hold */
+    struct list locks;                  /* list of locks the thread currently holds */
   };
 
 /* If false (default), use round-robin scheduler.