Only call addrspace_destroy() if USERPROG.

[pintos-anon] / src / threads / thread.c

diff --git a/src/threads/thread.c b/src/threads/thread.c
index e31d838da14a3c5012c6f8b5affd582c6885952c..c9bc8ee2bb8c9fc75bfc799c10e615fd033a2fe3 100644 (file)
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -337,7 +337,9 @@ destroy_thread (struct thread *t)
   ASSERT (t->status == THREAD_DYING);
   ASSERT (t != thread_current ());
 
+#ifdef USERPROG
   addrspace_destroy (t);
+#endif
   palloc_free (t);
 }