diff --git a/minix/servers/devman/devman.h b/minix/servers/devman/devman.h index a9d77d5f0..b530035dd 100644 --- a/minix/servers/devman/devman.h +++ b/minix/servers/devman/devman.h @@ -10,6 +10,7 @@ #include #include #include +#include #include #include