Index: uspace/app/date/date.c
===================================================================
--- uspace/app/date/date.c	(revision aa04e815dc4a768bf77681cd94922c042d85fc30)
+++ uspace/app/date/date.c	(revision f7a07798ed2a52856aa4d606e197084b6dc0b18e)
@@ -92,5 +92,6 @@
 
 	/* Get the device's handle */
-	rc = devman_fun_get_handle("/hw/pci0/00:01.0/cmos-rtc/a", &devh, IPC_FLAG_BLOCKING);
+	rc = devman_fun_get_handle("/hw/pci0/00:01.0/cmos-rtc/a", &devh,
+	    IPC_FLAG_BLOCKING);
 	if (rc != EOK) {
 		printf(NAME ": Cannot open the device\n");