diff options
| author | John Estabrook <jestabro@vyos.io> | 2023-05-01 11:03:16 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2023-05-10 22:52:25 -0500 |
| commit | 690ea5bbd5c0c569796a80aeff1ff7c2d6b83b87 (patch) | |
| tree | 367eee4e00397df03d1130397a68d760fa2113a8 | |
| parent | 38a54abb6231bc0ef5adae9c6c010de743e13956 (diff) | |
| download | vyos1x-config-690ea5bbd5c0c569796a80aeff1ff7c2d6b83b87.tar.gz vyos1x-config-690ea5bbd5c0c569796a80aeff1ff7c2d6b83b87.zip | |
T5194: remove unused variables and flag
| -rw-r--r-- | src/reference_tree.ml | 4 |
1 files 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 <interfaceDefinition>") in |