From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 20:07:37 +0000 (-0700)
Subject: libthreads: remove unnecessary 'extern'
X-Git-Tag: pldi2013~502
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1a014a333a36a00eb92153540bcef9efba7fdeed;p=model-checker.git

libthreads: remove unnecessary 'extern'
---

diff --git a/libthreads.h b/libthreads.h
index 72cc00b..4cf6ad3 100644
--- a/libthreads.h
+++ b/libthreads.h
@@ -15,7 +15,7 @@ extern "C" {
 	int thrd_yield(void);
 	thrd_t thrd_current(void);
 
-	extern void user_main(void);
+	void user_main(void);
 
 #ifdef __cplusplus
 }