time bug

Matthew Fluet mfluet@intertrust.com
Sat, 14 Jul 2001 15:14:22 -0700 (PDT)


> You never got the Time exception when straceing, right?

That is correct.