# HG changeset patch
# User wenzelm
# Date 1129030086 -7200
# Node ID 3830b0a41d51aec6a7ac5ba536599b27b4c15b69
# Parent  daffb154f73e6a58db5b9c770e3a033b464a699c
moved string_of_pid to ML-Systems;

diff -r daffb154f73e -r 3830b0a41d51 src/Pure/library.ML
--- 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 *)