diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-02-07 18:28:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-07 18:28:27 +0100 |
| commit | d35269ab21451a88331844b2098d4e9e20d43fc5 (patch) | |
| tree | 8d04f6f4493fe944ea48611659241c2106d21c81 /modules | |
| parent | 05bad19a9ab6b173c5e3287283eaa8f72c0c16d2 (diff) | |
| parent | 5d4a141c978dbac6cd89cf3afc6f75f0e5ac431e (diff) | |
Merge pull request #57764 from timothyqiu/octant-delete
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/gridmap/grid_map.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/gridmap/grid_map.cpp b/modules/gridmap/grid_map.cpp index 67deedf839..6df7835855 100644 --- a/modules/gridmap/grid_map.cpp +++ b/modules/gridmap/grid_map.cpp @@ -813,6 +813,7 @@ void GridMap::_update_octants_callback() { } while (to_delete.front()) { + memdelete(octant_map[to_delete.front()->get()]); octant_map.erase(to_delete.front()->get()); to_delete.pop_front(); } |