Changes in uspace/drv/root/root.c [7e752b2:5291411] in mainline

File:

• uspace/drv/root/root.c (modified) (2 diffs)

uspace/drv/root/root.c

@@ -45 +45 @@
 #include <ctype.h>
 #include <macros.h>
-#include <inttypes.h>
 
 #include <driver.h>
@@ -127 +126 @@
 static int root_add_device(device_t *dev)
 {
-        printf(NAME ": root_add_device, device handle=%" PRIun "\n",
-            dev->handle);
+        printf(NAME ": root_add_device, device handle = %d\n", dev->handle);
         
         /* Register root device's children. */