Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / vm / child-mm-wrt.c

diff --git a/grading/vm/child-mm-wrt.c b/grading/vm/child-mm-wrt.c
index 28a52c61825a216ca3b11b0f7fa372affc7d8969..b0794ec2690146706a720c9af17edc1549e5c6f8 100644 (file)
--- a/grading/vm/child-mm-wrt.c
+++ b/grading/vm/child-mm-wrt.c
@@ -30,7 +30,7 @@ main (void)
       return 1;
     }
 
-  if (!mmap (fd, ACTUAL, strlen (sample)))
+  if (mmap (fd, ACTUAL) == MAP_FAILED)
     {
       printf ("(child-mm-wrt) mmap() failed\n");
       return 1;