From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 21 Feb 2008 04:25:17 +0000 (+0000)
Subject: Reference to threads/exception.c should be to userprog/exception.c.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=96d5454f0787f4d190291f823a545a035ccf40c3

Reference to threads/exception.c should be to userprog/exception.c.

Thanks to Matt Jones <mkjones@stanford.edu> for reporting this bug.
---

diff --git a/doc/vm.texi b/doc/vm.texi
index c2943ca..31a8f1e 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -260,7 +260,7 @@ page fault might only indicate that the page must be brought in from a
 file or swap.  You will have to implement a more sophisticated page
 fault handler to handle these cases.  Your page fault handler, which you
 should implement by modifying @func{page_fault} in
-@file{threads/exception.c}, needs to do roughly the following:
+@file{userprog/exception.c}, needs to do roughly the following:
 
 @enumerate 1
 @item