Renamed argument

This commit is contained in:
John Whitington 2024-07-19 13:27:19 +01:00
parent 44438f5cef
commit a9c1565f6d
1 changed files with 1 additions and 1 deletions

View File

@ -3531,7 +3531,7 @@ let go () =
in in
let outpdf = let outpdf =
Pdfmerge.merge_pdfs Pdfmerge.merge_pdfs
args.retain_numbering args.remove_duplicate_fonts ~struct_hierarchy:args.process_struct_trees names pdfs rangenums args.retain_numbering args.remove_duplicate_fonts ~process_struct_trees:args.process_struct_trees names pdfs rangenums
in in
if args.remove_duplicate_streams then Pdfmerge.remove_duplicate_fonts outpdf; (* JBIG2 Globals *) if args.remove_duplicate_streams then Pdfmerge.remove_duplicate_fonts outpdf; (* JBIG2 Globals *)
write_pdf false outpdf write_pdf false outpdf