1.1 --- a/Admin/isatest/annomaly.ML	Wed May 21 14:04:41 2008 +0200
     1.2 +++ b/Admin/isatest/annomaly.ML	Wed May 21 22:04:58 2008 +0200
     1.3 @@ -57,10 +57,10 @@
     1.4          val _    = AnnoMaLy.nameNextStream arcs
     1.5      in  smlnj_use_text tune str_of_pos (line, name) p v t  end;
     1.6  
     1.7 -  fun use_file tune output verbose name =
     1.8 +  fun use_file tune str_of_pos output verbose name =
     1.9        let val arcs = rewrite ["use_file"] name
    1.10            val _    = AnnoMaLy.nameNextStream arcs
    1.11 -      in  smlnj_use_file tune output verbose name  end;
    1.12 +      in  smlnj_use_file tune str_of_pos output verbose name  end;
    1.13  
    1.14    fun forget_structure name =
    1.15        let val arcs = [ "forget_structure", name ]