src/Pure/ML-Systems/polyml-5.5.2.ML

updated to jedit_build-20140405: Code2HTML.jar, CommonControls.jar, Console.jar, kappalayout.jar, Navigator.jar, SideKick.jar, doc with jEdit manuals (ant dist-manuals);

(*  Title:      Pure/ML-Systems/polyml-5.5.2.ML
    Author:     Makarius

Compatibility wrapper for Poly/ML 5.5.2.
*)

structure Thread =
struct
  open Thread;

  structure Thread =
  struct
    open Thread;

    fun numProcessors () =
      (case Thread.numPhysicalProcessors () of
        SOME n => n
      | NONE => Thread.numProcessors ());
  end;
end;

use "ML-Systems/polyml.ML";