Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-15 21:10:07 -0700 (Tue, 15 Jun 2004)
Revision: 393
Log message:

      Made sure MetaPRL compiles with THREADS_ENABLED=false.
      

Changes  Path
Deleted libmojave/stdlib/lm_threads.mli