Committed my changes (but there are several splintme errors currently).

[splint.git] / test / abst_t.lcl

mutable type abst1;
mutable type abst2;
mutable type abst3;