Fix tracker issue 1837229.

[splint.git] / test / observer.lcl

mutable type stx;

only char *stx_name (stx x) { }