[splint.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;
}
Commit	Line	Data
80ee600a	1	# include "immutable.h"
	2
	3	immutable immutable_create (int x)
	4	{
	5	immutable res = (immutable) malloc (sizeof (*res));
	6
	7	res->x = x;
	8	return res;
	9	}
	10