terminology - use 'thread id' instead of 'thread index'
[c11tester.git] / userprog.c
index 8358a58c19ad4471044ae9f82b3291bc285c0356..c27c701591115f9ec903c6a771263bfc3b1bef98 100644 (file)
@@ -8,7 +8,7 @@ static void a(atomic_int *obj)
        int i;
 
        for (i = 0; i < 10; i++) {
-               printf("Thread %d, loop %d\n", thread_current()->index, i);
+               printf("Thread %d, loop %d\n", thread_current()->id, i);
                if (i % 2)
                        atomic_load(obj);
        }