| Index: tools/json_schema_compiler/model.py
|
| diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py
|
| index d6b6efc1a12f3519777d08b4995fa43d27e8c8ea..ce67d2642390dccaf67a794594b1c36be891ea8c 100644
|
| --- a/tools/json_schema_compiler/model.py
|
| +++ b/tools/json_schema_compiler/model.py
|
| @@ -355,6 +355,9 @@ 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.
|
| """
|
|
|