diff options
| author | Arsentiy Milchakov <milcars@mapswithme.com> | 2017-08-11 10:32:39 +0300 |
|---|---|---|
| committer | Yuri Gorshenin <mipt.vi002@gmail.com> | 2017-08-11 15:27:37 +0300 |
| commit | b5d67594ae945aad7a2c1cc1aad297db434f028f (patch) | |
| tree | 0436d05a4d18bce161a8f18d07cb7cbc4daccbcf /platform | |
| parent | a02c88e70b5e79536e1b93a4204edf5d98ec2178 (diff) | |
[platform] virtual destructor small fix
Diffstat (limited to 'platform')
| -rw-r--r-- | platform/platform.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/platform.hpp b/platform/platform.hpp index fd6782d2ca..0b5c48e715 100644 --- a/platform/platform.hpp +++ b/platform/platform.hpp @@ -98,6 +98,7 @@ protected: public: Platform(); + virtual ~Platform() = default; static bool IsFileExistsByFullPath(string const & filePath); |