diff options
Diffstat (limited to 'platform/winrt/os_winrt.cpp')
| -rw-r--r-- | platform/winrt/os_winrt.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/platform/winrt/os_winrt.cpp b/platform/winrt/os_winrt.cpp index 7c4b2dc661..f507c1aae7 100644 --- a/platform/winrt/os_winrt.cpp +++ b/platform/winrt/os_winrt.cpp @@ -345,8 +345,7 @@ void OSWinrt::finalize_core() { if (mempool_dynamic) memdelete( mempool_dynamic ); - if (mempool_static) - delete mempool_static; + delete mempool_static; } |