--- a/src/Pure/library.ML Tue Oct 11 13:28:05 2005 +0200
+++ b/src/Pure/library.ML Tue Oct 11 13:28:06 2005 +0200
@@ -266,7 +266,6 @@
val partition_list: (int -> 'a -> bool) -> int -> int -> 'a list -> 'a list list
val gensym: string -> string
val scanwords: (string -> bool) -> string list -> string list
- val string_of_pid: Posix.Process.pid -> string
type stamp
val stamp: unit -> stamp
type serial
@@ -1285,10 +1284,6 @@
end;
-(*Convert a process ID to a decimal string (chiefly for tracing)*)
-fun string_of_pid pid =
- Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord pid));
-
(* lexical scanning *)