Don't destroy current thread's pagedir before activating a different

[pintos-anon] / src / userprog / addrspace.c

diff --git a/src/userprog/addrspace.c b/src/userprog/addrspace.c
index 1170f16ab92a7f61f1a93ad381ea49ff38208e63..e8d8305d7efb1c4a0943812a39540e5ba3f78a49 100644 (file)
--- a/src/userprog/addrspace.c
+++ b/src/userprog/addrspace.c
@@ -273,7 +273,6 @@ addrspace_activate (struct thread *t)
 {
   ASSERT (t != NULL);
   
-  if (t->pagedir != NULL)
-    pagedir_activate (t->pagedir);
+  pagedir_activate (t->pagedir);
   tss_set_esp0 ((uint8_t *) t + PGSIZE);
 }