Index: contrib/arch/uspace/srv/devmap/devmap.adl
===================================================================
--- contrib/arch/uspace/srv/devmap/devmap.adl	(revision 2a706725a21e1767f49f217b4694ede563b20ee3)
+++ contrib/arch/uspace/srv/devmap/devmap.adl	(revision 8c7301239c6080a7b7a6265aab8bbd5a9da40a16)
@@ -47,5 +47,5 @@
 		
 		/* Get an array of (device_name, handle) pairs */
-		ipcarg_t device_get_devices(out_copy stream data)
+		ipcarg_t device_get_devices(out_copy stream data);
 		
 		/* Close connection */