This commit is contained in:
John Whitington 2022-09-27 20:10:19 +01:00
parent 7d181bf13d
commit 126530a2de
1 changed files with 1 additions and 1 deletions

View File

@ -174,7 +174,7 @@ let paginate tmargin bmargin papersize i =
let make_resources fontobjnums =
Pdf.Dictionary
[("/Font", Pdf.Dictionary (map (fun fo -> ("/F" ^ string_of_int fo, Pdf.Indirect fo)) fontobjnums))]
[("/Font", Pdf.Dictionary (map (fun fo -> ("/F" ^ string_of_int fo, Pdf.Indirect fo)) (setify fontobjnums)))]
let make_annotations annots =
if annots = [] then Pdf.Dictionary [] else