Improve comments.

[pintos-anon] / solutions / p1.patch

diff --git a/solutions/p1.patch b/solutions/p1.patch
index ce21107889227b3c51d0290c40da6f81a8416421..fbfb405b09a090df9889f5b279c6947c1a43756c 100644 (file)
--- a/solutions/p1.patch
+++ b/solutions/p1.patch
@@ -364,11 +364,11 @@ diff -u src/threads/thread.c~ src/threads/thread.c
 +#include "threads/init.h"
  #include "threads/interrupt.h"
  #include "threads/intr-stubs.h"
- #include "threads/mmu.h"
  #include "threads/palloc.h"
  #include "threads/switch.h"
  #include "threads/synch.h"
 +#include "devices/timer.h"
+ #include "threads/vaddr.h"
  #ifdef USERPROG
  #include "userprog/process.h"
  #endif