diff --git a/tiramisu/config.py b/tiramisu/config.py index 07ae837..3ad66be 100644 --- a/tiramisu/config.py +++ b/tiramisu/config.py @@ -173,7 +173,7 @@ class Config(object): properties = properties & set(self._cfgimpl_context._cfgimpl_settings.get_properties()) if permissive: properties = properties - set(self._cfgimpl_context._cfgimpl_settings.get_permissive()) - properties = properties - set(self._cfgimpl_permissive) + properties = properties - set(self._cfgimpl_permissive) properties = list(properties) if properties != []: raise PropertiesOptionError("trying to access"