[MLton-devel] Time bug on RedHat 7.1

[Henry Cejtin]

Also, can you tell me what the times are when it seems to decrease?  I.e., did
the microsecond counter just wrap?  Is the microsecond entry negative or bigger
than 10^6?


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel