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/HOL/Tools/datatype_codegen.ML
changeset 27398 768da1da59d6
parent 27096 d4145c286bd1
child 28054 2b84d34c5d02 
--- a/src/HOL/Tools/datatype_codegen.ML	Mon Jun 30 13:41:31 2008 +0200
+++ b/src/HOL/Tools/datatype_codegen.ML	Mon Jun 30 13:41:33 2008 +0200
@@ -46,7 +46,7 @@
 
     val (_, (tname, _, _)) :: _ = descr';
     val node_id = tname ^ " (type)";
-    val module' = if_library (thyname_of_type tname thy) module;
+    val module' = if_library (thyname_of_type thy tname) module;
 
     fun mk_dtdef gr prfx [] = (gr, [])
       | mk_dtdef gr prfx ((_, (tname, dts, cs))::xs) =
isabelle