src/Pure/ML-Systems/smlnj.ML
changeset 26884 67c54c53da28
parent 26504 6e87c0a60104
child 26885 cfd5eb167706
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Wed May 14 11:05:11 2008 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Wed May 14 11:05:45 2008 +0200
     1.3 @@ -111,7 +111,7 @@
     1.4  
     1.5  (* ML command execution *)
     1.6  
     1.7 -fun use_text (tune: string -> string) (line: int, name) (print, err) verbose txt =
     1.8 +fun use_text (tune: string -> string) _ (line: int, name) (print, err) verbose txt =
     1.9    let
    1.10      val ref out_orig = Control.Print.out;
    1.11  
    1.12 @@ -129,7 +129,7 @@
    1.13      if verbose then print (output ()) else ()
    1.14    end;
    1.15  
    1.16 -fun use_file tune output verbose name =
    1.17 +fun use_file tune _ output verbose name =
    1.18    let
    1.19      val instream = TextIO.openIn name;
    1.20      val txt = Exn.release (Exn.capture TextIO.inputAll instream before TextIO.closeIn instream);