diff options
Diffstat (limited to 'compat/options.hpp')
| -rw-r--r-- | compat/options.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compat/options.hpp b/compat/options.hpp index 454cc99a..07696b3c 100644 --- a/compat/options.hpp +++ b/compat/options.hpp @@ -142,6 +142,7 @@ namespace options { void after_profile_changed_(); public: opt_singleton(); + ~opt_singleton(); pbundle bundle(const k& key); void bundle_decf(const k& key); static void refresh_all_bundles(); |