diff options
| author | John Estabrook <jestabro@vyos.io> | 2023-05-07 09:29:18 -0500 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2023-05-10 22:52:25 -0500 |
| commit | 35ce25553bd331f468b87a56b361c76e3eab8fff (patch) | |
| tree | 20b871bec10b431dd2c60e08e73a7b47ca64a4d1 | |
| parent | a86fa26041fae96c6aec7c1a306e85793f4fb021 (diff) | |
| download | vyos1x-config-35ce25553bd331f468b87a56b361c76e3eab8fff.tar.gz vyos1x-config-35ce25553bd331f468b87a56b361c76e3eab8fff.zip | |
T5194: ignore syntaxVersion elements
syntaxVersion elements are post-processed in the Python reference dict
| -rw-r--r-- | src/reference_tree.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 = |