src/Pure/ML-Systems/smlnj.ML

--- a/src/Pure/ML-Systems/smlnj.ML	Wed May 14 11:05:11 2008 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed May 14 11:05:45 2008 +0200
@@ -111,7 +111,7 @@
 
 (* ML command execution *)
 
-fun use_text (tune: string -> string) (line: int, name) (print, err) verbose txt =
+fun use_text (tune: string -> string) _ (line: int, name) (print, err) verbose txt =
   let
     val ref out_orig = Control.Print.out;
 
@@ -129,7 +129,7 @@
     if verbose then print (output ()) else ()
   end;
 
-fun use_file tune output verbose name =
+fun use_file tune _ output verbose name =
   let
     val instream = TextIO.openIn name;
     val txt = Exn.release (Exn.capture TextIO.inputAll instream before TextIO.closeIn instream);