Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / userprog / wait-killed.c

#include <stdio.h>
#include <syscall.h>

int
main (void) 
{
  printf ("(wait-killed) begin\n");
  printf ("(wait-killed) wait(exec()) = %d\n", wait (exec ("child-bad")));
  printf ("(wait-killed) end\n");
  return 0;
}