--- a/Admin/isatest/annomaly.ML Wed May 21 14:04:41 2008 +0200
+++ b/Admin/isatest/annomaly.ML Wed May 21 22:04:58 2008 +0200
@@ -57,10 +57,10 @@
val _ = AnnoMaLy.nameNextStream arcs
in smlnj_use_text tune str_of_pos (line, name) p v t end;
- fun use_file tune output verbose name =
+ fun use_file tune str_of_pos output verbose name =
let val arcs = rewrite ["use_file"] name
val _ = AnnoMaLy.nameNextStream arcs
- in smlnj_use_file tune output verbose name end;
+ in smlnj_use_file tune str_of_pos output verbose name end;
fun forget_structure name =
let val arcs = [ "forget_structure", name ]