Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision cf7b3e025e3db101a36b0419103a3b43b6675127)
+++ contrib/arch/kernel/kernel.adl	(revision edb14caa4e3c2080af322055bd1bf3d64cb677e6)
@@ -38,8 +38,6 @@
 		unative_t sys_thread_get_id(thread_id_t *uspace_thread_id);
 	protocol:
-		(
-			?sys_thread_create +
-			?sys_thread_get_id
-		)* ;
+		?sys_thread_create +
+		?sys_thread_get_id +
 		?sys_thread_exit
 };