diff options
Diffstat (limited to 'kern/server_loop.ch')
| -rw-r--r-- | kern/server_loop.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/server_loop.ch b/kern/server_loop.ch index 7b7b1a5..1aa7edb 100644 --- a/kern/server_loop.ch +++ b/kern/server_loop.ch @@ -38,7 +38,7 @@ * Must redefine symbols for pager_server functions. */ -#include <kern/debug.h> /* for panic() */ +#include <kern/debug.h> #include <mach/port.h> #include <mach/message.h> #include <vm/vm_kern.h> /* for kernel_map */ |