.
[clean-tests.git] / a10 / setGADT.icl