| Index: tools/json_schema_compiler/model.py
|
| diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py
|
| index ed8a2ec404edef066279720ad422c3ee7a6c4a43..f6a9ce5c53f9f844456e7345b442dfad73c76aba 100644
|
| --- a/tools/json_schema_compiler/model.py
|
| +++ b/tools/json_schema_compiler/model.py
|
| @@ -446,6 +446,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.
|
|
|