Brian Chen 93a0e9f3fa Mark destructors as override (#9404) ...

Summary:
Pull Request resolved: https://github.com/facebook/rocksdb/pull/9404

It is better practice to mark destructors as override. Without this
change there can be issues building with
-Wsuggest-destructor-override.

Reviewed By: riversand963

Differential Revision: D33671992

fbshipit-source-id: 75b0c15010cbab5fbc071c150fef1dc85d5d9d96

2022-01-20 08:44:27 -08:00

..

rocksdb

Mark destructors as override (#9404)

2022-01-20 08:44:27 -08:00