From a3d04c74513fd2aeb04e07d6bc4acb94d179e82e Mon Sep 17 00:00:00 2001 From: Emmanuel Garette Date: Sat, 4 Nov 2023 08:29:32 +0100 Subject: [PATCH] can personalise ALLOWED_LEADER_PROPERTIES variables --- tiramisu/setting.py | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/tiramisu/setting.py b/tiramisu/setting.py index 5209b72..dd00686 100644 --- a/tiramisu/setting.py +++ b/tiramisu/setting.py @@ -130,16 +130,16 @@ FORBIDDEN_SET_PERMISSIVES = frozenset(['force_default_on_freeze', 'force_metaconfig_on_freeze', 'force_store_value', ]) -ALLOWED_LEADER_PROPERTIES = frozenset(['empty', - 'notempty', - 'notunique', - 'unique', - 'force_store_value', - 'mandatory', - 'force_default_on_freeze', - 'force_metaconfig_on_freeze', - 'frozen', - ]) +ALLOWED_LEADER_PROPERTIES = {'empty', + 'notempty', + 'notunique', + 'unique', + 'force_store_value', + 'mandatory', + 'force_default_on_freeze', + 'force_metaconfig_on_freeze', + 'frozen', + } static_set = frozenset()