X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=solutions%2Fp1.patch;h=fbfb405b09a090df9889f5b279c6947c1a43756c;hb=f242d3f31c84c5a045b980b07745a364d7301a6d;hp=ce21107889227b3c51d0290c40da6f81a8416421;hpb=c7ceee91c04fa72da655c00cb82302537ff6c9eb;p=pintos-anon

diff --git a/solutions/p1.patch b/solutions/p1.patch
index ce21107..fbfb405 100644
--- 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