Compatibility fix

panglesd · jonludlam · commit c093b30765ad · 2024-05-24T16:52:03.000+01:00
Signed-off-by: Paul-Elliot &lt;peada@free.fr&gt;
diff --git a/src/document/generator.ml b/src/document/generator.ml
@@ -1893,12 +1893,13 @@ module Make (Syntax : SYNTAX) = struct
 
     let implementation (v : Odoc_model.Lang.Implementation.t) syntax_info
         source_code =
-      Option.map
-        (fun id ->
-          Document.Source_page
-            (Source_page.source id syntax_info v.source_info source_code))
-        v.id
-      |> Option.to_list
+      match v.id with
+      | None -> []
+      | Some id ->
+          [
+            Document.Source_page
+              (Source_page.source id syntax_info v.source_info source_code);
+          ]
   end
 
   include Page
