add some optimisation

2015-12-14 23:37:15 +01:00
parent 98200ecae5
commit 59f59b0b1b
4 changed files with 45 additions and 36 deletions
--- a/tiramisu/setting.py
+++ b/tiramisu/setting.py
@ -470,7 +470,7 @@ class Settings(object):

        if force_properties is not None:
            forced_properties = copy(setting_properties)
-            forced_properties.update(force_properties)
+            forced_properties.add('mandatory')
        else:
            forced_properties = setting_properties