diff --git a/examples/dump-properties.py b/examples/dump-properties.py index b9726b8e7790a5aa9d35f3a8c489a89ce2909394..68d937a526c5f698ad584a6a9d4ced5af5435416 100644 --- a/examples/dump-properties.py +++ b/examples/dump-properties.py @@ -19,7 +19,8 @@ def print_info(obj, info_cls): if (info_cls == cl.device_info and info_name == "PARTITION_TYPES_EXT" and isinstance(info_value, list)): print("%s: %s" % (info_name, [ - cl.device_partition_property_ext.to_string(v) for v in info_value])) + cl.device_partition_property_ext.to_string(v, + "<unknown device partition property %d>") for v in info_value])) else: print("%s: %s" % (info_name, info_value))