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

[splint.git] / test / csyntax9.c

typedef char *cstring;
extern cstring add_extension(cstring s, const cstring suffix, cstring cstring);