author | wenzelm |
Wed, 23 Dec 2015 23:09:13 +0100 | |
changeset 61925 | ab52f183f020 |
parent 61715 | src/Pure/ML-Systems/polyml-5.6.ML@5dc95d957569 |
permissions | -rw-r--r-- |
(* Title: Pure/RAW/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 "RAW/polyml.ML";