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