From bcfff5250fbd86bf917a4d2debf46359ece99fe0 Mon Sep 17 00:00:00 2001 From: John Whitington Date: Tue, 2 Jul 2024 17:51:33 +0100 Subject: [PATCH] Matterhorn stable first draft --- cpdfua.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/cpdfua.ml b/cpdfua.ml index c513ba0..96eff92 100644 --- a/cpdfua.ml +++ b/cpdfua.ml @@ -32,13 +32,15 @@ let rec read_single d = match d with | Pdf.Dictionary d -> map fst d | Pdf.Stream s -> read_single (fst !s) - | _ -> error "read_single" + | Pdf.Name n -> [n] + | x -> error "read_single" let read_a pdf n stnode = match Pdf.lookup_direct pdf n stnode with | Some (Pdf.Array attrs) -> let attrs = keep (function Pdf.Integer _ -> false | _ -> true) attrs in flatten (map read_single attrs) + | Some (Pdf.Name n) -> [n] | Some (Pdf.Dictionary d) -> read_single (Pdf.Dictionary d) | Some (Pdf.Stream s) ->