Pushed back constraintResolve.c to the previous version.

[splint.git] / test / manual / unique.c

# include <string.h>
 
void  
capitalize (/*@out@*/ char *s,
            char *t)
{
  strcpy (s, t);
  *s = toupper (*s);
}