Made a few quick edits to the manual before creating the HTML page.

[splint.git] / test / rc.c

char *f (void)
{
  return MYSTERY;
}