From 2a7dd56bea035f802682859495d1b2d8ef3123cc Mon Sep 17 00:00:00 2001 From: John Whitington Date: Mon, 16 Jan 2023 10:51:03 +0800 Subject: [PATCH] more --- cpdfannot.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/cpdfannot.ml b/cpdfannot.ml index 2ac8560..60f9fca 100644 --- a/cpdfannot.ml +++ b/cpdfannot.ml @@ -120,6 +120,7 @@ let list_annotations_json range pdf = `List [`Int ~-n; Cpdfjson.json_of_object ~clean_strings:true pdf (fun _ -> ()) false false (Pdf.lookup_obj pdf n)]) (setify (flatten (map (Pdf.objects_referenced [] [] pdf) !extra))) in + Printf.printf "EXTRA: %i objects\n" (length extra); let json = `List (json @ extra) in J.pretty_to_channel stdout json