X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fthread.c;h=c9bc8ee2bb8c9fc75bfc799c10e615fd033a2fe3;hb=c9d103e3fc1f398acb10bbaa66bf5a61318d26e9;hp=e31d838da14a3c5012c6f8b5affd582c6885952c;hpb=c076973fb0f4a2cc5a8b17caba55f70344e89ea8;p=pintos-anon

diff --git a/src/threads/thread.c b/src/threads/thread.c
index e31d838..c9bc8ee 100644
--- 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);
 }