diff --git a/tiramisu/option.py b/tiramisu/option.py index a552d7f..7c16771 100644 --- a/tiramisu/option.py +++ b/tiramisu/option.py @@ -647,7 +647,7 @@ def apply_requires(opt, config, permissive=False): try: value = homeconfig._getattr(shortname, permissive=True) except PropertiesOptionError, err: - permissives = err.proptype + properties = err.proptype if permissive: for perm in settings.permissive: if perm in properties: