Fixed overly agressive assertions (from checking splint *.c in test/)

[splint.git] / test / observer.lcl

mutable type stx;

only char *stx_name (stx x) { }