catch exception in IpMap.find

This commit is contained in:
palainp 2023-07-16 18:26:38 +02:00
parent e6fd4e8646
commit 1ad5644553

View File

@ -8,6 +8,7 @@ module IpMap = struct
let find x map = let find x map =
try Some (find x map) try Some (find x map)
with Not_found -> None with Not_found -> None
| e -> Logs.err( fun f -> f "uncaught exception in find...%!"); None
end end
(** An Ethernet interface. *) (** An Ethernet interface. *)