Hi, I'm trying to use mlprof, but my program runs, and when it finished I get a message saying "Profiling timer expired", and I get no mlmon.out. This is with MLton 20051202 and options -profile time -profile-stack true running on a Fedora Core 3 on an X86_64. Any idea? Thanks, Jake