make dtor virtual

This commit is contained in:
Robin Müller 2022-10-24 16:39:32 +02:00
parent d26f230bee
commit 81a7de2814
No known key found for this signature in database
GPG Key ID: 11D4952C8CCEF814

View File

@ -55,7 +55,7 @@ class StorageManagerIF {
/**
* @brief This is the empty virtual destructor as required for C++ interfaces.
*/
~StorageManagerIF() = default;
virtual ~StorageManagerIF() = default;
/**
* @brief With addData, a free storage position is allocated and data
* stored there.