From: Brian Norris <banorris@uci.edu>
Date: Wed, 10 Jul 2013 01:18:07 +0000 (-0700)
Subject: test: uninit: typo
X-Git-Tag: oopsla2013-final~6
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f0b1d5cb87fd3ae41c325045b6bbf9554e7116f9;p=model-checker.git

test: uninit: typo
---

diff --git a/test/uninit.cc b/test/uninit.cc
index 759a4fd..b3a1026 100644
--- a/test/uninit.cc
+++ b/test/uninit.cc
@@ -40,7 +40,7 @@ int user_main(int argc, char **argv)
 
 	std::atomic_init(&x, 0);
 
-	printf("Main thread: creating 2 threads\n");
+	printf("Main thread: creating 3 threads\n");
 	thrd_create(&t1, (thrd_start_t)&a, NULL);
 	thrd_create(&t2, (thrd_start_t)&b, NULL);
 	thrd_create(&t3, (thrd_start_t)&c, NULL);