# HG changeset patch
# User gagern
# Date 1211400298 -7200
# Node ID 003b5781b845fac154e8a0c33c0f9e8fd552cb3b
# Parent  df1f238a05f77f947bcb7c746ade8158cfa95023
use_file: added str_of_pos argument (ignored);

diff -r df1f238a05f7 -r 003b5781b845 Admin/isatest/annomaly.ML
--- 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 ]