Changes in kernel/test/synch/semaphore2.c [cb01e1e:d99c1d2] in mainline

File:

• kernel/test/synch/semaphore2.c (modified) (2 diffs)

kernel/test/synch/semaphore2.c

@@ -32 +32 @@
 #include <print.h>
 #include <proc/thread.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/context.h>
 
@@ -82 +82 @@
 }
 
-char *test_semaphore2(void)
+const char *test_semaphore2(void)
 {
         uint32_t i, k;