Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / vm / page-linear.c

diff --git a/grading/vm/page-linear.c b/grading/vm/page-linear.c
index 00ffb177cbcdca5c04d2eb9f153c3af7d4413c1a..18ba30c14741420c726ab7a3b372ac027cfb0a2b 100644 (file)
--- a/grading/vm/page-linear.c
+++ b/grading/vm/page-linear.c
@@ -1,5 +1,5 @@
 #include <stdio.h>
-#include "arc4.h"
+#include "../lib/arc4.h"
 
 #define SIZE (128 * 1024)