diff options
Diffstat (limited to 'src/userprog/process.c')
| -rw-r--r-- | src/userprog/process.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/userprog/process.c b/src/userprog/process.c index 7df8778..b4177d0 100644 --- a/src/userprog/process.c +++ b/src/userprog/process.c @@ -12,6 +12,7 @@ #include "threads/thread.h" #include "threads/vaddr.h" /* PHYS_BASE */ #include "threads/interrupt.h" /* if_ */ +#include "threads/init.h" /* power_off() */ /* Headers not yet used that you may need for various reasons. */ #include "threads/synch.h" |