diff options
| -rw-r--r-- | src/userprog/process.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/userprog/process.c b/src/userprog/process.c index b4177d0..c013008 100644 --- a/src/userprog/process.c +++ b/src/userprog/process.c @@ -235,7 +235,7 @@ process_cleanup (void) * important to do this printf BEFORE you tell the parent process * that you exit. (Since the parent may be the main() function, * that may sometimes poweroff as soon as process_wait() returns, - * possibly before the prontf is completed.) + * possibly before the printf is completed.) */ printf("%s: exit(%d)\n", thread_name(), status); |