--- a/src/Pure/ML-Systems/polyml_old_compiler4.ML Wed May 14 11:05:45 2008 +0200
+++ b/src/Pure/ML-Systems/polyml_old_compiler4.ML Wed May 14 11:09:07 2008 +0200
@@ -26,9 +26,9 @@
if verbose then print (output ()) else ()
end;
-fun use_file tune _ output verbose name =
+fun use_file tune str_of_pos output verbose name =
let
val instream = TextIO.openIn name;
val txt = Exn.release (Exn.capture TextIO.inputAll instream before TextIO.closeIn instream);
- in use_text tune (1, name) output verbose txt end;
+ in use_text tune str_of_pos (1, name) output verbose txt end;