src/HOL/Tools/ATP/modUnix.ML
changeset 15789 4cb16144c81b
parent 15782 a1863ea9052b
child 16039 dfe264950511
     1.1 --- a/src/HOL/Tools/ATP/modUnix.ML	Thu Apr 21 13:15:25 2005 +0200
     1.2 +++ b/src/HOL/Tools/ATP/modUnix.ML	Thu Apr 21 15:05:24 2005 +0200
     1.3 @@ -1,3 +1,7 @@
     1.4 +(*  ID:         $Id$
     1.5 +    Author:     Claire Quigley
     1.6 +    Copyright   2004  University of Cambridge
     1.7 +*)
     1.8  
     1.9  (****************************************************************)
    1.10  (****** Slightly modified version of sml Unix structure *********)
    1.11 @@ -21,10 +25,10 @@
    1.12  	end
    1.13  
    1.14  fun fdReader (name : string, fd : Posix.IO.file_desc) =
    1.15 -	  Posix.IO.mkReader {initBlkMode = true,name = name,fd = fd };
    1.16 +	  Posix.IO.mkTextReader {initBlkMode = true,name = name,fd = fd };
    1.17  
    1.18  fun fdWriter (name, fd) =
    1.19 -          Posix.IO.mkWriter {
    1.20 +          Posix.IO.mkTextWriter {
    1.21  	      appendMode = false,
    1.22                initBlkMode = true,
    1.23                name = name,