- (TextIO.output (outf, user);
- TextIO.output (outf, "\n");
- writeClasses classes;
- TextIO.output (outf, "\n")))
+ if SM.numItems classes = 0 then
+ ()
+ else
+ (TextIO.output (outf, user);
+ TextIO.output (outf, "\n");
+ writeClasses classes;
+ TextIO.output (outf, "\n")))