src/HOL/Tools/ATP/modUnix.ML
changeset 15782 a1863ea9052b
parent 15700 970e0293dfb3
child 15789 4cb16144c81b
     1.1 --- a/src/HOL/Tools/ATP/modUnix.ML	Wed Apr 20 17:19:42 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/modUnix.ML	Wed Apr 20 18:01:50 2005 +0200
     1.3 @@ -8,8 +8,9 @@
     1.4  
     1.5  val fromStatus = Posix.Process.fromStatus
     1.6  
     1.7 +
     1.8  fun reap(pid, instr, outstr) =
     1.9 -	let
    1.10 +        let
    1.11  		val u = TextIO.closeIn instr;
    1.12  	        val u = TextIO.closeOut outstr;
    1.13  	
    1.14 @@ -20,10 +21,10 @@
    1.15  	end
    1.16  
    1.17  fun fdReader (name : string, fd : Posix.IO.file_desc) =
    1.18 -	  Posix.IO.mkTextReader {initBlkMode = true,name = name,fd = fd };
    1.19 +	  Posix.IO.mkReader {initBlkMode = true,name = name,fd = fd };
    1.20  
    1.21  fun fdWriter (name, fd) =
    1.22 -          Posix.IO.mkTextWriter {
    1.23 +          Posix.IO.mkWriter {
    1.24  	      appendMode = false,
    1.25                initBlkMode = true,
    1.26                name = name,