terminology - use 'thread id' instead of 'thread index'

[model-checker.git] / schedule.c

diff --git a/schedule.c b/schedule.c
index 879ee14a12c59edafdca01601a80870d365fe067..3b4d57cf1574500f75b267a49f6bf181e4a09a02 100644 (file)
--- a/schedule.c
+++ b/schedule.c
@@ -59,7 +59,7 @@ static struct thread *dequeue_thread(void)
 
 static void default_add_thread(struct thread *t)
 {
-       DEBUG("thread %d\n", t->index);
+       DEBUG("thread %d\n", t->id);
        enqueue_thread(t);
 }