Committed my changes (but there are several splintme errors currently).

[splint.git] / test / csyntax9.c

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