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) =