Fixed manual csvoverwrite.

[splint.git] / test / tests2.5 / immutable.h

typedef /*@abstract@*/ /*@immutable@*/ struct __ {
  int x;
} *immutable;

extern immutable immutable_create (int) ;
extern void immutable_print (immutable) ;