changeset 13037 | f7f29f8380ce |
parent 11852 | a528a716a312 |
--- a/src/Pure/basis.ML Wed Mar 06 23:57:34 2002 +0100 +++ b/src/Pure/basis.ML Wed Mar 06 23:59:28 2002 +0100 @@ -141,7 +141,7 @@ exception Io of {name: string, function: string, cause: exn} val stdIn = std_in val stdOut = std_out - val stdErr = std_err + val stdErr = std_out val openIn = open_in val openAppend = open_append val openOut = open_out