Get rid of unnecessary barrier. Improve comment.
[pintos-anon] / grading / userprog / close-bad-fd.c
1 #include <stdio.h>
2 #include <syscall.h>
3
4 int
5 main (void) 
6 {
7   printf ("(close-bad-fd) begin\n");
8   close (0x20101234);
9   printf ("(close-bad-fd) end\n");
10   return 0;
11 }