Invent tid_t data type and use it in many places where we current use

[pintos-anon] / src / threads / synch.c

diff --git a/src/threads/synch.c b/src/threads/synch.c
index 169128d8ba62e84e3d6d738a9237988716023bb4..be8f0a5a9ad80c7c6dec016987bb23e0aad58d4f 100644 (file)
--- a/src/threads/synch.c
+++ b/src/threads/synch.c
@@ -111,14 +111,13 @@ static void sema_test_helper (void *sema_);
 void
 sema_self_test (void) 
 {
-  struct thread *thread;
   struct semaphore sema[2];
   int i;
 
   printf ("Testing semaphores...");
   sema_init (&sema[0], 0, "ping");
   sema_init (&sema[1], 0, "pong");
-  thread = thread_create ("sema-test", sema_test_helper, &sema);
+  thread_create ("sema-test", sema_test_helper, &sema);
   for (i = 0; i < 10; i++) 
     {
       sema_up (&sema[0]);