From 3e1031d88a77a735f67e886b8eda6db89d1f58e9 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Sat, 8 Jan 2022 16:21:28 +0000 Subject: [PATCH] more --- cpdfpagelabels.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/cpdfpagelabels.ml b/cpdfpagelabels.ml index 10fd957..bfd8e00 100644 --- a/cpdfpagelabels.ml +++ b/cpdfpagelabels.ml @@ -1,6 +1,5 @@ open Pdfutil - (* Split the given range (which is in order) into multiple contiguous ones. *) let rec ranges_of_range curr prev = function | [] -> begin match curr with [] -> rev prev | _ -> rev (rev curr::prev) end @@ -46,4 +45,3 @@ let add_page_labels pdf progress style prefix startval range = ranges startval_additions; Pdfpagelabels.write pdf !labels -