author | wenzelm |
Mon, 15 Jun 2015 13:29:57 +0200 | |
changeset 60483 | 9a566f4ac20a |
parent 58470 | 890d8286fd4e |
permissions | -rw-r--r-- |
(* Title: Pure/ML-Systems/polyml-5.5.3.ML Author: Makarius Compatibility wrapper for Poly/ML 5.5.3. *) 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";