*** empty log message ***

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

void noancopy(/*@unique@*/ char * a, char *b)   {
  strcpy (a,b);
}