X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Fthinair.c;h=2f4f58059f97107f0572e91e21f02b3437e455bc;hb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;hp=dcd7615f20148db7ef30b6aa165b7a927bb23b57;hpb=24edf5ea28ecd116c1faa76ed41de1cfbf6d6d1e;p=model-checker.git

diff --git a/test/thinair.c b/test/thinair.c
index dcd7615..2f4f580 100644
--- a/test/thinair.c
+++ b/test/thinair.c
@@ -29,13 +29,13 @@ int user_main(int argc, char **argv)
 	atomic_init(&x, -1);
 	atomic_init(&y, 0);
 
-	printf("Thread %d: creating 2 threads\n", thrd_current());
+	printf("Main thread: creating 2 threads\n");
 	thrd_create(&t1, (thrd_start_t)&a, NULL);
 	thrd_create(&t2, (thrd_start_t)&b, NULL);
 
 	thrd_join(t1);
 	thrd_join(t2);
-	printf("Thread %d is finished\n", thrd_current());
+	printf("Main thread is finished\n");
 
 	return 0;
 }