Changed checking of complete descruction so +strictdestroy is no

[splint.git] / test / abst_t.lcl

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