--- a/src/Pure/ML-Systems/alice.ML Thu Mar 06 21:08:20 2008 +0100
+++ b/src/Pure/ML-Systems/alice.ML Thu Mar 06 21:13:11 2008 +0100
@@ -192,6 +192,8 @@
end;
end;
+fun string_of_pid _ = raise Fail "string_of_pid undefined";
+
fun getenv var =
(case OS.Process.getEnv var of
NONE => ""