From 2ccf0c797d898abe65b6bb9a9c0562356fe9b2e1 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Wed, 19 Jan 2022 11:41:45 +0000 Subject: [PATCH] more --- cpdftweak.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpdftweak.ml b/cpdftweak.ml index 0136df7..bda1ecf 100644 --- a/cpdftweak.ml +++ b/cpdftweak.ml @@ -254,7 +254,7 @@ let remove_dict_entry pdf key search = let replace_dict_entry pdf key value search = let f d = 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 -> match Pdf.lookup_direct pdf key d with | Some v when v = s -> Pdf.replace_dict_entry d key value