Some consistency changes to library & headers flags.

[splint-patched.git] / test / tests2.5 / immutable.c

# include "immutable.h"

immutable immutable_create (int x) 
{
  immutable res = (immutable) malloc (sizeof (*res));
  
  res->x = x;
  return res;
}