diff options
Diffstat (limited to 'jvmfwk/source/elements.hxx')
-rw-r--r-- | jvmfwk/source/elements.hxx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/jvmfwk/source/elements.hxx b/jvmfwk/source/elements.hxx index 18d50f374456..edf44ccc0f64 100644 --- a/jvmfwk/source/elements.hxx +++ b/jvmfwk/source/elements.hxx @@ -260,7 +260,7 @@ public: The class also determines useful default values for settings which have not been made. */ -class MergedSettings +class MergedSettings final { private: const MergedSettings& operator = (MergedSettings&) = delete; @@ -280,7 +280,7 @@ private: public: MergedSettings(); - virtual ~MergedSettings(); + ~MergedSettings(); /** the default is true. */ |