val stdErr = std_out (std_err is unavaliable in polyml-3.x);
authorwenzelm
Wed Mar 06 23:59:28 2002 +0100 (2002-03-06)
changeset 13037f7f29f8380ce
parent 13036 dca23533bdfb
child 13038 e968745986f1
val stdErr = std_out (std_err is unavaliable in polyml-3.x);
src/Pure/basis.ML
     1.1 --- a/src/Pure/basis.ML	Wed Mar 06 23:57:34 2002 +0100
     1.2 +++ b/src/Pure/basis.ML	Wed Mar 06 23:59:28 2002 +0100
     1.3 @@ -141,7 +141,7 @@
     1.4    exception Io of {name: string, function: string, cause: exn}
     1.5    val stdIn 	= std_in
     1.6    val stdOut 	= std_out
     1.7 -  val stdErr 	= std_err
     1.8 +  val stdErr 	= std_out
     1.9    val openIn 	= open_in
    1.10    val openAppend = open_append
    1.11    val openOut 	= open_out