Pushed back constraintResolve.c to the previous version.

[splint.git] / test / manual / setname.h

typedef /*@abstract@*/ struct
{
  char *name;
} *employee;

extern void setName (employee e) /*@modifies e@*/;