From aabd040c1a00c14c64623e1c058ba2cd1cd4911f Mon Sep 17 00:00:00 2001
From: Paul-Elliot <peada@free.fr>
Date: Wed, 27 Nov 2024 14:30:10 +0100
Subject: [PATCH] Compatibility

---
 test/odoc_print/print_index.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/test/odoc_print/print_index.ml b/test/odoc_print/print_index.ml
index 4fe17d97fb..0f104ca137 100644
--- a/test/odoc_print/print_index.ml
+++ b/test/odoc_print/print_index.ml
@@ -2,7 +2,11 @@ open Compatcmdliner
 
 let run inp =
   let inp = Fpath.v inp in
-  let index = Odoc_odoc.Odoc_file.load_index inp |> Result.get_ok in
+  let index =
+    Odoc_odoc.Odoc_file.load_index inp |> function
+    | Result.Ok x -> x
+    | _ -> failwith "failed to load index"
+  in
   let rec tree_to_yojson
       ({ node; children } : Odoc_index.Entry.t Odoc_utils.Tree.t) :
       Yojson.Safe.t =