summaryrefslogtreecommitdiff
path: root/schema
diff options
context:
space:
mode:
Diffstat (limited to 'schema')
-rw-r--r--schema/interface_definition.rng5
1 files changed, 0 insertions, 5 deletions
diff --git a/schema/interface_definition.rng b/schema/interface_definition.rng
index 5a0a48845..d1bd9a708 100644
--- a/schema/interface_definition.rng
+++ b/schema/interface_definition.rng
@@ -169,11 +169,6 @@
</element>
</optional>
<optional>
- <element name="type">
- <text/>
- </element>
- </optional>
- <optional>
<!-- These are meaningful only for tag nodes -->
<group>
<element name="keepChildOrder">