Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/locale.ML
changeset 20548 8ef25fe585a8
parent 20366 867696dc64fc
child 20664 ffbc5a57191a 
--- a/src/Pure/Isar/locale.ML	Fri Sep 15 22:56:08 2006 +0200
+++ b/src/Pure/Isar/locale.ML	Fri Sep 15 22:56:13 2006 +0200
@@ -2119,7 +2119,7 @@
             TFree ((the o AList.lookup (op =) (new_Tnames ~~ new_Tnames')) a, s));
     val rename =
           if is_local then I
-          else Term.map_term_types renameT;
+          else Term.map_types renameT;
 
     val tinst = Symtab.make (map
                 (fn ((x, 0), T) => (x, T |> renameT)
isabelle