From 1f1c169018b5bca6dc3b118754277f391d3a5b51 Mon Sep 17 00:00:00 2001 From: tatchi Date: Tue, 11 Jan 2022 17:05:17 +0100 Subject: [PATCH] rename type_kind_407 to type_kind_412 --- src/compat/types_type_kind_ge_000.ml | 4 ++-- src/compat/types_type_kind_ge_413.ml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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