From e6d0a1eb493f3017ececfda888fd73948aab5bc5 Mon Sep 17 00:00:00 2001 From: klaar36 Date: Wed, 4 May 2016 02:54:08 +0200 Subject: comment spelling correction --- src/userprog/process.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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); -- cgit v1.2.1