diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 30e8b7516d5..ea82e685cbc 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -2147,8 +2147,8 @@ let ty_str (ty:Ast.ty) : string = ty_fold_native = (fun _ -> "N"); ty_fold_param = (fun _ -> "P"); ty_fold_type = (fun _ -> "Y"); - ty_fold_mutable = (fun t -> "m" ^ t); - ty_fold_box = (fun t -> "e" ^ t); + ty_fold_mutable = (fun t -> "M" ^ t); + ty_fold_box = (fun t -> "B" ^ t); (* FIXME (issue #78): encode obj types. *) (* FIXME (issue #78): encode opaque and param numbers. *)