From 6a3689e776acabb6c694b67183af63f5f425c232 Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Fri, 17 Jan 2025 10:51:25 +0100
Subject: [PATCH] loader: Fix compatibility with 4.02

---
 src/loader/cmti.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/loader/cmti.ml b/src/loader/cmti.ml
index 52ddad1faf..c2b7995fa3 100644
--- a/src/loader/cmti.ml
+++ b/src/loader/cmti.ml
@@ -51,7 +51,7 @@ let rec read_core_type env container ctyp =
            argument since the 4.02.x representation includes it explicitly. *)
         let arg = match lbl with
           | None | Some(Label(_)) -> read_core_type env container arg
-          | Some(Optional(_)) ->
+          | Some(Optional(_)) | Some(RawOptional(_)) ->
               let arg' = match arg.ctyp_desc with
                 | Ttyp_constr(_, _, param :: _) -> param
                 | _ -> arg