diff --git a/src/compat/types_type_kind_ge_000.ml b/src/compat/types_type_kind_ge_000.ml
index 809646d..e3deb14 100644
--- a/src/compat/types_type_kind_ge_000.ml
+++ b/src/compat/types_type_kind_ge_000.ml
@@ -1,3 +1,3 @@
-type type_kind_407 = Types.type_kind
+type type_kind_412 = Types.type_kind
 
-let migrate_type_kind : Types.type_kind -> type_kind_407 = fun x -> x
+let migrate_type_kind : Types.type_kind -> type_kind_412 = fun x -> x
diff --git a/src/compat/types_type_kind_ge_413.ml b/src/compat/types_type_kind_ge_413.ml
index d37b252..8d134f8 100644
--- a/src/compat/types_type_kind_ge_413.ml
+++ b/src/compat/types_type_kind_ge_413.ml
@@ -1,10 +1,10 @@
-type ('lbl, 'cstr) type_kind_407 = 
+type ('lbl, 'cstr) type_kind_412 = 
   | Type_abstract
   | Type_record of 'lbl list * Types.record_representation
   | Type_variant of 'cstr list
   | Type_open
 
-let migrate_type_kind : ('lbl, 'cstr) Types.type_kind -> ('lbl, 'cstr) type_kind_407 = function
+let migrate_type_kind : ('lbl, 'cstr) Types.type_kind -> ('lbl, 'cstr) type_kind_412 = function
   | Type_abstract -> Type_abstract
   | Type_record (lbl, repr) -> Type_record (lbl, repr)
   | Type_variant (cstr, _) -> Type_variant cstr