summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--schema/op-mode-definition.rnc2
-rw-r--r--schema/op-mode-definition.rng5
2 files changed, 5 insertions, 2 deletions
diff --git a/schema/op-mode-definition.rnc b/schema/op-mode-definition.rnc
index 804ab3596..cbe51e6dc 100644
--- a/schema/op-mode-definition.rnc
+++ b/schema/op-mode-definition.rnc
@@ -24,7 +24,7 @@
# Interface definition starts with interfaceDefinition tag that may contain node tags
start = element interfaceDefinition
{
- node*
+ (node | tagNode)*
}
# node tag may contain node, leafNode, or tagNode tags
diff --git a/schema/op-mode-definition.rng b/schema/op-mode-definition.rng
index e9e7887cf..900f41e27 100644
--- a/schema/op-mode-definition.rng
+++ b/schema/op-mode-definition.rng
@@ -29,7 +29,10 @@
<start>
<element name="interfaceDefinition">
<zeroOrMore>
- <ref name="node"/>
+ <choice>
+ <ref name="node"/>
+ <ref name="tagNode"/>
+ </choice>
</zeroOrMore>
</element>
</start>