| Index: tools/json_schema_compiler/model.py
|
| diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py
|
| index 7745dcc4fcc1cf1624de72a57ea495ff1d43ecda..3f7b2fe693439fedcbed56f249294d7f126afc56 100644
|
| --- a/tools/json_schema_compiler/model.py
|
| +++ b/tools/json_schema_compiler/model.py
|
| @@ -456,6 +456,8 @@ class _PropertyTypeInfo(_Enum):
|
| _Enum.__init__(self, name)
|
| self.is_fundamental = is_fundamental
|
|
|
| + def __repr__(self):
|
| + return self.name
|
|
|
| class PropertyType(object):
|
| """Enum of different types of properties/parameters.
|
|
|