davidpdrsn/smell-spec — pull request #2 by Ajedi32 (2014-02-19 21:43:21+00:00)
Title: Comment out time printing lines

Comment out lines that were causing errors in SMLNJ v110.76