diff options
| author | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-23 15:16:14 -0400 |
|---|---|---|
| committer | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-23 15:16:14 -0400 |
| commit | 4e6e2ced7f047a9a0439eb6d001b1a77daadfdff (patch) | |
| tree | e9de52504f67fa819b7d1d9ca89b9de05e73e1e1 /kern/inc/sched.h | |
| parent | f5df2e1d666a943e17261d089456c9483bc9e998 (diff) | |
pts
Diffstat (limited to 'kern/inc/sched.h')
| -rw-r--r-- | kern/inc/sched.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/inc/sched.h b/kern/inc/sched.h index 718fdae..754567e 100644 --- a/kern/inc/sched.h +++ b/kern/inc/sched.h @@ -16,7 +16,7 @@ #include <x86/seg.h> #include <common.h> -#include <console.h> +#include <pts.h> #include <paging.h> #include <pv.h> #include <sync.h> |