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