Update src/driver/odoc_unit.ml

Co-authored-by: Paul-Elliot Anglès d'Auriac <[email protected]>
jonludlam · Feb 20, 2025 · fdfb3e1 · fdfb3e1
1 parent 941cb5b
commit fdfb3e1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/driver/odoc_unit.ml b/src/driver/odoc_unit.ml
@@ -208,7 +208,7 @@ let fix_virtual ~(precompiled_units : intf t list Util.StringMap.t)
                            cmti found for %a"
                           (List.length xs) Fpath.pp unit.input_file);
                     let possibles =
-                      List.filter_map
+                      List.find_map
                         (fun x ->
                           match x.input_copy with
                           | Some x ->
@@ -221,10 +221,10 @@ let fix_virtual ~(precompiled_units : intf t list Util.StringMap.t)
                         xs
                     in
                     match possibles with
-                    | [] ->
+                    | None ->
                         Logs.debug (fun m -> m "Not replacing input file");
                         unit
-                    | x :: _ ->
+                    | Some x ->
                         Logs.debug (fun m ->
                             m "Replacing input_file of unit with %a" Fpath.pp x);
                         { unit with input_file = x })))