--- a/src/Pure/RAW/ml_system.ML Wed Feb 17 21:08:18 2016 +0100
+++ b/src/Pure/RAW/ml_system.ML Wed Feb 17 23:06:24 2016 +0100
@@ -7,8 +7,6 @@
signature ML_SYSTEM =
sig
val name: string
- val is_polyml: bool
- val is_smlnj: bool
val platform: string
val platform_is_windows: bool
val share_common_data: unit -> unit
@@ -19,8 +17,6 @@
struct
val SOME name = OS.Process.getEnv "ML_SYSTEM";
-val is_polyml = String.isPrefix "polyml" name;
-val is_smlnj = String.isPrefix "smlnj" name;
val SOME platform = OS.Process.getEnv "ML_PLATFORM";
val platform_is_windows = String.isSuffix "windows" platform;