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

#include "../../lib/ansi.h"

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