diff options
Diffstat (limited to 'boot/boot.c')
| -rw-r--r-- | boot/boot.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/boot/boot.c b/boot/boot.c index 147bb2b0..93dd9386 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -33,7 +33,6 @@ #include <pthread.h> #include <fcntl.h> #include <mach/mig_support.h> -#include <mach/default_pager.h> #include <argp.h> #include <hurd/store.h> #include <hurd/ihash.h> @@ -41,6 +40,7 @@ #include <sys/mman.h> #include <version.h> +#include "default_pager_U.h" #include "notify_S.h" #include "device_S.h" #include "io_S.h" |