adapted use_text;

--- a/Admin/isatest/annomaly.ML	Mon Sep 17 11:11:13 2007 +0200
+++ b/Admin/isatest/annomaly.ML	Mon Sep 17 16:06:35 2007 +0200
@@ -21,11 +21,11 @@
 
 in
 
-  fun use_text name p v t =
+  fun use_text tune name p v t =
     let val name = case name of "" => "unnamed" | name => name
         val arcs = rewrite (OS.Process.getEnv "ISABELLE_HOME",
                             #arcs (OS.Path.fromString name))
         val _    = AnnoMaLy.nameNextStream ("isabelle" :: arcs)
-    in  smlnj_use_text name p v t  end
+    in  smlnj_use_text tune name p v t  end
 
 end;