X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.c;h=78b3122b1b6e1dcb1db9ce12d804e46383785a71;hb=0ec49949304b13ff22287d7d9e3dcb05090c61a4;hp=36c1bd0582437d280e630788d605ab9f87409bd1;hpb=8382bdd7884a6d38f7529e0517dd9a7083f4ce73;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"));