src/HOLCF/Tools/pcpodef.ML
changeset 35742 eb8d2f668bfc
parent 35351 7425aece4ee3
child 35840 01d7c4ba9050
     1.1 --- a/src/HOLCF/Tools/pcpodef.ML	Sat Mar 13 14:42:16 2010 +0100
     1.2 +++ b/src/HOLCF/Tools/pcpodef.ML	Sat Mar 13 14:43:04 2010 +0100
     1.3 @@ -181,7 +181,7 @@
     1.4    let
     1.5      val name = the_default (#1 typ) opt_name;
     1.6      val ((full_tname, info as {type_definition, set_def, Rep_name, ...}), thy2) = thy
     1.7 -      |> Typedef.add_typedef def opt_name typ set opt_morphs tac;
     1.8 +      |> Typedef.add_typedef_global def opt_name typ set opt_morphs tac;
     1.9      val oldT = #rep_type info;
    1.10      val newT = #abs_type info;
    1.11      val lhs_tfrees = map dest_TFree (snd (dest_Type newT));