From c803298aa3c9b4d2c6e228ae9698a7ebaaea9c89 Mon Sep 17 00:00:00 2001
From: Emmanuel Garette <egarette@cadoles.com>
Date: Sat, 1 Sep 2018 06:58:45 +0200
Subject: [PATCH] not store properties with getproperties without properties

---
 tiramisu/api.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tiramisu/api.py b/tiramisu/api.py
index 396849b..0ff4a77 100644
--- a/tiramisu/api.py
+++ b/tiramisu/api.py
@@ -312,9 +312,10 @@ class TiramisuOptionProperty(CommonTiramisuOption):
         option = self.option_bag.option
         if apply_requires:
             self._test_slave_index()
+            properties = self.option_bag.properties
         else:
-            self.option_bag.apply_requires = False
-        properties = self.option_bag.properties
+            properties = self.settings.getproperties(self.option_bag,
+                                                     apply_requires=False)
         return set(properties)
 
     def add(self, prop):