Pushed back constraintResolve.c to the previous version.

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

typedef /*@abstract@*/ /*@refcounted@*/ struct {
   /*@refs@*/ int refs;
   char *contents;
} *rstring;