src/Pure/basis.ML
changeset 13037 f7f29f8380ce
parent 11852 a528a716a312
     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