author | wenzelm |
Mon, 15 Jun 2015 13:29:57 +0200 | |
changeset 60483 | 9a566f4ac20a |
parent 54726 | 5285805af26c |
permissions | -rw-r--r-- |
(* 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";