Removed stray files in test

[splint.git] / test / temp / freearray.c

typedef /*@only@*/ char *ocp;

extern /*@only@*/ char *stringTable;
extern int stringTableSize;

void destroyMod (void) /*@globals killed stringTable@*/
{
  free (stringTable);
}