src/Tools/Code/code_ml.ML

                   map print_super_class_field classrels
                   @ map print_classparam_field classparams
                 )
               ];
           in pair
-           (if Code_Namespace.not_private export
+           (if Code_Namespace.is_public export
               then type_decl_p :: map print_classparam_decl classparams
               else if null classrels andalso null classparams
               then [type_decl_p] (*work around weakness in export calculation*)
               else [concat [str "type", print_dicttyp (class, ITyVar v)]])
             (Pretty.chunks (