From 997176252dba799e2b5bf0c219d937503dd9d813 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 27 Sep 2022 17:28:08 +0100 Subject: [PATCH] more --- cpdftoc.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/cpdftoc.ml b/cpdftoc.ml index 4a6c3e6..1af56a0 100644 --- a/cpdftoc.ml +++ b/cpdftoc.ml @@ -111,7 +111,6 @@ let typeset_table_of_contents ?embedinfo ~font ~fontsize ~title ~bookmark pdf = (cminx +. margin, (pmaxx -. cmaxx) +. margin, cminy +. margin, (pmaxy -. cmaxy) +. margin) in let codepoints = map fst (list_of_hashtbl used) in - Printf.printf "%i codes used\n" (length codepoints); let font = match embedinfo with | None -> font