Index: tools/json_schema_compiler/idl_schema.py |
diff --git a/tools/json_schema_compiler/idl_schema.py b/tools/json_schema_compiler/idl_schema.py |
index 30dad11555428459b5b48ff0f9c1e8f92b27381e..e779b1635e7cab3c2cc3601ddc862ca301da56c9 100644 |
--- a/tools/json_schema_compiler/idl_schema.py |
+++ b/tools/json_schema_compiler/idl_schema.py |
@@ -149,7 +149,7 @@ class Member(object): |
def process(self, callbacks): |
properties = {} |
name = self.node.GetName() |
- for property_name in ('OPTIONAL', 'nodoc', 'nocompile'): |
+ for property_name in ('OPTIONAL', 'nodoc', 'nocompile', 'nodart'): |
if self.node.GetProperty(property_name): |
properties[property_name.lower()] = True |
is_function = False |