adapted use_text;
authorwenzelm
Mon Sep 17 16:06:35 2007 +0200 (2007-09-17)
changeset 246111f92518fbabe
parent 24610 14c6a2cc923c
child 24612 d1b315bdb8d7
adapted use_text;
Admin/isatest/annomaly.ML
     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;