Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-21 18:07:59 -0700 (Thu, 21 Oct 1999)
Revision: 2822
Log message:
Added new function to mp_debug
let show_loading s = if !debug_load then Printf.eprintf s eflush
and replaced all usages of debug_load with show_loading