src/HOL/Tools/typedef_codegen.ML
changeset 27398 768da1da59d6
parent 26975 103dca19ef2e
child 28537 1e84256d1a8a
     1.1 --- a/src/HOL/Tools/typedef_codegen.ML	Mon Jun 30 13:41:31 2008 +0200
     1.2 +++ b/src/HOL/Tools/typedef_codegen.ML	Mon Jun 30 13:41:33 2008 +0200
     1.3 @@ -52,7 +52,7 @@
     1.4             if is_some (Codegen.get_assoc_type thy tname) then NONE else
     1.5             let
     1.6               val module' = Codegen.if_library
     1.7 -               (Codegen.thyname_of_type tname thy) module;
     1.8 +               (Codegen.thyname_of_type thy tname) module;
     1.9               val node_id = tname ^ " (type)";
    1.10               val (gr', (((qs, (_, Abs_id)), (_, Rep_id)), ty_id)) = foldl_map
    1.11                   (Codegen.invoke_tycodegen thy defs dep module (length Ts = 1))