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/Tools/codegen_thingol.ML
changeset 20071 8f3e1ddb50e6
parent 19967 33da452f0abe
child 20105 454f4be984b7 
--- a/src/Pure/Tools/codegen_thingol.ML	Tue Jul 11 12:16:52 2006 +0200
+++ b/src/Pure/Tools/codegen_thingol.ML	Tue Jul 11 12:16:54 2006 +0200
@@ -370,7 +370,7 @@
 
 fun invent seed used =
   let
-    val x = Term.variant used seed
+    val x = Name.variant used seed
   in (x, x :: used) end;
 
 fun eta_expand (c as (_, (_, ty)), es) k =
isabelle