diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-11-16 19:27:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-16 19:27:27 +0100 |
| commit | bb1d1912ea73592670f75a6ec89845766dabb4b0 (patch) | |
| tree | b7d3d422a31e0c6abceee3bb1cb5aeded49b32bf /modules/gridmap/grid_map.cpp | |
| parent | 763ca3dae1aac597965a8dd230e91f888707664c (diff) | |
| parent | 1b7f99d9e5bca9f524b4e902b3975397b8762557 (diff) | |
Merge pull request #12488 from djrm/pr_gridmap_fixes
Several improvements to GridMap.
Diffstat (limited to 'modules/gridmap/grid_map.cpp')
| -rw-r--r-- | modules/gridmap/grid_map.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/modules/gridmap/grid_map.cpp b/modules/gridmap/grid_map.cpp index cb14a5ee9c..b3a1947647 100644 --- a/modules/gridmap/grid_map.cpp +++ b/modules/gridmap/grid_map.cpp @@ -747,7 +747,6 @@ 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_back(); } |