Fix bug with code to get rid of main

[c11tester.git] / threads-model.h

diff --git a/threads-model.h b/threads-model.h
index f2efd6c0a75f962600b820222b2cb62ffb974ff4..c6078200f5911f5bf3dd78f80125b881683e1a0e 100644 (file)
--- a/threads-model.h
+++ b/threads-model.h
@@ -191,7 +191,7 @@ void tlsdestructor(void *v);
 
 Thread * thread_current();
 void thread_startup();
-void main_thread_startup();
+void initMainThread();
 
 static inline thread_id_t thrd_to_id(thrd_t t)
 {