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 3a7e6e46ab39c0c6e421f6bf8b4d8e99cc64e73c..087b2f4c6d5e1c52f081ff1b8da940e2c41b2e8a 100644 |
--- a/tools/json_schema_compiler/idl_schema.py |
+++ b/tools/json_schema_compiler/idl_schema.py |
@@ -161,6 +161,8 @@ class Typeref(object): |
properties['type'] = 'string' |
elif self.typeref == 'boolean': |
properties['type'] = 'boolean' |
+ elif self.typeref == 'double': |
+ properties['type'] = 'number' |
elif self.typeref == 'long': |
properties['type'] = 'integer' |
elif self.typeref == 'any': |