src/Pure/ML-Systems/mosml.ML

 
 
 (* ML command execution *)
 
 (*Can one redirect 'use' directly to an instream?*)
-fun use_text _ _ txt =
+fun use_text _ _ _ txt =
   let
     val tmp_name = FileSys.tmpName ();
     val tmp_file = TextIO.openOut tmp_name;
   in
     TextIO.output (tmp_file, txt);