> No luck. The sources from that snapshot and my sources are > identical. I've tried with both SML/NJ 110.9.1 and SML/NJ 110.35, but > everything works out. > > Just to be sure, 15.sml (in my sources) is an empty file. Yes. I am continuing to investigate.