diff --git a/src/option_manager.hh b/src/option_manager.hh index 9cd312785..958a01f47 100644 --- a/src/option_manager.hh +++ b/src/option_manager.hh @@ -40,7 +40,7 @@ private: OptionFlags m_flags; }; -class Option +class Option : public UseMemoryDomain { public: virtual ~Option() = default; @@ -143,18 +143,6 @@ public: if (option_add(m_value, str)) m_manager.on_option_changed(*this); } - - using Alloc = Allocator; - static void* operator new (std::size_t sz) - { - kak_assert(sz == sizeof(TypedOption)); - return Alloc{}.allocate(1); - } - - static void operator delete (void* ptr) - { - return Alloc{}.deallocate(reinterpret_cast(ptr), 1); - } private: virtual void validate(const T& value) const {} T m_value;