Initial file system tests.

[pintos-anon] / grading / vm / pt-big-stk-obj.c

diff --git a/grading/vm/pt-big-stk-obj.c b/grading/vm/pt-big-stk-obj.c
index 70f5d79ba46f4b7e68a4c91ab91feb6a45610e49..3198c7cea18d597c1e321bd0b220054fd97b4654 100644 (file)
--- a/grading/vm/pt-big-stk-obj.c
+++ b/grading/vm/pt-big-stk-obj.c
@@ -1,7 +1,7 @@
 #include <stdio.h>
 #include <string.h>
-#include "arc4.h"
-#include "cksum.h"
+#include "../lib/arc4.h"
+#include "../lib/cksum.h"
 
 int
 main (void)