1.1 --- a/Admin/isatest/annomaly.ML Mon Sep 17 11:11:13 2007 +0200
1.2 +++ b/Admin/isatest/annomaly.ML Mon Sep 17 16:06:35 2007 +0200
1.3 @@ -21,11 +21,11 @@
1.4
1.5 in
1.6
1.7 - fun use_text name p v t =
1.8 + fun use_text tune name p v t =
1.9 let val name = case name of "" => "unnamed" | name => name
1.10 val arcs = rewrite (OS.Process.getEnv "ISABELLE_HOME",
1.11 #arcs (OS.Path.fromString name))
1.12 val _ = AnnoMaLy.nameNextStream ("isabelle" :: arcs)
1.13 - in smlnj_use_text name p v t end
1.14 + in smlnj_use_text tune name p v t end
1.15
1.16 end;