> Line 110 also gives problems. It has a function: CM.names' > Do you know what this should be in the new SML/NJ 110.0.6 ? I just downloaded 110.0.6 and it has CM.names' of the same type as 110.9.1.