observer: minor changes

This commit is contained in:
Michele Caini
2024-06-03 23:05:35 +02:00
parent 86cdb6f55d
commit eae659301b

View File

@@ -304,7 +304,7 @@ public:
}
/*! @brief Default destructor. */
~basic_observer() noexcept = default;
~basic_observer() noexcept override = default;
/**
* @brief Default copy assignment operator, deleted on purpose.