From 35ce25553bd331f468b87a56b361c76e3eab8fff Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Sun, 7 May 2023 09:29:18 -0500 Subject: T5194: ignore syntaxVersion elements syntaxVersion elements are post-processed in the Python reference dict --- src/reference_tree.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/reference_tree.ml') diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 84f1934..bdc1cdc 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -161,6 +161,7 @@ let data_from_xml d x = let rec insert_from_xml basepath reftree xml = match xml with + | Xml.Element ("syntaxVersion", _, _) -> reftree | Xml.Element (_, _, _) -> let props = find_xml_child "properties" xml in let data = -- cgit v1.2.3