author | wenzelm |
Thu, 17 Dec 2015 17:32:01 +0100 | |
changeset 61862 | e2a9e46ac0fb |
parent 61715 | 5dc95d957569 |
permissions | -rw-r--r-- |
(* Title: Pure/ML-Systems/polyml-5.6.ML Author: Makarius Compatibility wrapper for Poly/ML 5.6. *) 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";