librace: format DEBUG() prints properly
[cdsspec-compiler.git] / libthreads.h
index 72cc00b8e1532606659d43814de88afe6d0697e0..4cf6ad352da0a47cd582a439f957c0d57a9b6528 100644 (file)
@@ -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
 }