This commit is contained in:
John Whitington 2022-01-19 11:41:45 +00:00
parent e74f0c32d3
commit 2ccf0c797d
1 changed files with 1 additions and 1 deletions

View File

@ -254,7 +254,7 @@ let remove_dict_entry pdf key search =
let replace_dict_entry pdf key value search = let replace_dict_entry pdf key value search =
let f d = let f d =
match search with match search with
| None -> Pdf.replace_dict_entry d key value | None -> begin try Pdf.replace_dict_entry d key value with _ -> d end
| Some s -> | Some s ->
match Pdf.lookup_direct pdf key d with match Pdf.lookup_direct pdf key d with
| Some v when v = s -> Pdf.replace_dict_entry d key value | Some v when v = s -> Pdf.replace_dict_entry d key value