[splint.git] / test / maxset / maxsetnoannotations.c

#include "/home/drl7x/re/LCLintDev/lib/ansi.h"

void noancopy(/*@unique@*/ char * a, char *b)   {
strcpy (a,b);
}
Commit	Line	Data
088320ea	1	#include "/home/drl7x/re/LCLintDev/lib/ansi.h"
	2
	3	void noancopy(/@unique@/ char * a, char *b) {
	4	strcpy (a,b);
	5	}