# HG changeset patch
# User wenzelm
# Date 1190037995 -7200
# Node ID 1f92518fbabefab638ef08ebf50d8a9cf860c686
# Parent  14c6a2cc923ccf0e2f7f3503cd7a9fd46c26c9cd
adapted use_text;

diff -r 14c6a2cc923c -r 1f92518fbabe Admin/isatest/annomaly.ML
--- 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;