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