Index: uspace/srv/devman/devman.c
===================================================================
--- uspace/srv/devman/devman.c	(revision 3ad7b1c059ef32550b039928f322d11120c8df35)
+++ uspace/srv/devman/devman.c	(revision b9e3aa3fe40f91fd4973778e5692861a1f04b7f9)
@@ -39,4 +39,5 @@
 #include <devmap.h>
 #include <str_error.h>
+#include <stdio.h>
 
 #include "devman.h"