X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.c;h=78b3122b1b6e1dcb1db9ce12d804e46383785a71;hb=96d95e6605de12945100bba503031ad8d56d470a;hp=36c1bd0582437d280e630788d605ab9f87409bd1;hpb=683215cdf85a8c5c4455dda1c305d3f597ebef60;p=pintos-anon

diff --git a/src/userprog/process.c b/src/userprog/process.c
index 36c1bd0..78b3122 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -227,7 +227,7 @@ load (const char *filename, void (**eip) (void), void **esp)
   if (ehdr.e_machine != 3)
     LOAD_ERROR (("ELF executable is not x86"));
   if (ehdr.e_version != 1)
-    LOAD_ERROR (("ELF executable hasunknown version %d",
+    LOAD_ERROR (("ELF executable has unknown version %d",
                  (int) ehdr.e_version));
   if (ehdr.e_phentsize != sizeof (struct Elf32_Phdr))
     LOAD_ERROR (("bad ELF program header size"));