diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 02:54:08 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 02:54:08 +0200 |
| commit | e6d0a1eb493f3017ececfda888fd73948aab5bc5 (patch) | |
| tree | 1b78cd13d9b285c76cacf4a37b3f78324b0f23eb /src | |
| parent | e3afa4964ece6804b38224e529922ce8c442b8f4 (diff) | |
| download | pintos-rs-e6d0a1eb493f3017ececfda888fd73948aab5bc5.tar.gz | |
comment spelling correction
Diffstat (limited to 'src')
| -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); |