diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-01-11 12:00:44 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-01-11 12:00:44 +0100 |
| commit | 7f82c8d7c5cbcb07bddf98a5006706d1f77c4444 (patch) | |
| tree | c856982194ff120f5351b1c4e1821d98a43c904d /drivers/unix | |
| parent | cbdcd99b858d48e14d11ec186b34f7b398cfc11d (diff) | |
| parent | cabf9234849508ba7285d1a5bafd3bab692eb80f (diff) | |
Merge pull request #3230 from touilleMan/issue-55
Remove unnecessary null pointer checks
Diffstat (limited to 'drivers/unix')
| -rw-r--r-- | drivers/unix/os_unix.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/drivers/unix/os_unix.cpp b/drivers/unix/os_unix.cpp index 405d84f0f1..8e3fba167f 100644 --- a/drivers/unix/os_unix.cpp +++ b/drivers/unix/os_unix.cpp @@ -149,8 +149,7 @@ void OS_Unix::finalize_core() { if (mempool_dynamic) memdelete( mempool_dynamic ); - if (mempool_static) - delete mempool_static; + delete mempool_static; } |