| changeset 39585 | 00be8711082f |
| parent 39233 | 9a0c67d4517a |
| child 39616 | 8052101883c3 |
--- a/src/Pure/ML-Systems/smlnj.ML Wed Sep 22 12:52:35 2010 +0200 +++ b/src/Pure/ML-Systems/smlnj.ML Wed Sep 22 13:47:48 2010 +0200 @@ -172,9 +172,6 @@ val bash_output = (fn (output, rc) => (output, mk_int rc)) o bash_output; -fun process_id pid = - Word.fmt StringCvt.DEC (Word.fromLargeWord (Posix.Process.pidToWord (Posix.ProcEnv.getpid ()))); - (* getenv *)