Fixed bug in Makefile.am.

[splint.git] / test / metastate / global.c

# include "global.h"

void pmsg (char *msg)
{
  fprintf (g_msgstream, "%s\n", msg);
}