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

[splint.git] / test / divzero.c

void f (void)
{
  int x = 3 / 0;
  double d = 3.0 / 0.0;
  
}