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