> I don't know if you meant to include it, but src/regression/time3.sml > prints Time.now(). Not a big deal, but time3.ok obviously has a non-empty > diff. Fixed. Thanks.