From 690ea5bbd5c0c569796a80aeff1ff7c2d6b83b87 Mon Sep 17 00:00:00 2001 From: John Estabrook Date: Mon, 1 May 2023 11:03:16 -0500 Subject: T5194: remove unused variables and flag --- src/reference_tree.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/reference_tree.ml b/src/reference_tree.ml index 9c704d4..993aad6 100644 --- a/src/reference_tree.ml +++ b/src/reference_tree.ml @@ -100,7 +100,7 @@ let data_from_xml d x = let rec insert_from_xml basepath reftree xml = match xml with - | Xml.Element (tag, _, _) -> + | Xml.Element (_, _, _) -> let props = find_xml_child "properties" xml in let data = (match props with @@ -127,7 +127,7 @@ let rec insert_from_xml basepath reftree xml = let load_from_xml reftree file = let xml_to_reftree xml reftree = match xml with - | Xml.Element ("interfaceDefinition", attrs, children) -> + | Xml.Element ("interfaceDefinition", _, children) -> List.fold_left (insert_from_xml []) reftree children | _ -> raise (Bad_interface_definition "Should start with ") in -- cgit v1.2.3