diff options
| author | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-28 19:37:31 -0400 |
|---|---|---|
| committer | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-28 19:37:31 -0400 |
| commit | ff90341c64565ac7d8034d2f8cf460532a5b51fd (patch) | |
| tree | 7056c18c075aa5b6a4bdef124342866973506eee /kern/usermem.c | |
| parent | 09cce089128de5f265ee6d4e68e196f85537ccc7 (diff) | |
fix
Diffstat (limited to 'kern/usermem.c')
| -rw-r--r-- | kern/usermem.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/usermem.c b/kern/usermem.c index 5e6b1e3..34b98b2 100644 --- a/kern/usermem.c +++ b/kern/usermem.c @@ -13,9 +13,9 @@ #include <x86/asm.h> #include <x86/seg.h> -#include <pts.h> #include <mm.h> #include <paging.h> +#include <pts.h> #include <sched.h> /** |