diff --git a/tiramisu/api.py b/tiramisu/api.py index 3c64cc2..3495fb4 100644 --- a/tiramisu/api.py +++ b/tiramisu/api.py @@ -2253,14 +2253,15 @@ class Config(TiramisuAPI, TiramisuContextOption): permissives=permissives, ) super().__init__(config_bag) - - def __del__(self): - try: - del self._config_bag.context - del self._config_bag - del self._orig_config_bags - except ConfigError: - pass +# +# def __del__(self): +# try: +# # FIXME +# # del self._config_bag.context +# del self._config_bag +# del self._orig_config_bags +# except ConfigError: +# pass class MetaConfig(TiramisuAPI, TiramisuContextOption):