diff options
author | George Marques <george@gmarqu.es> | 2016-06-13 12:16:00 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-13 12:16:00 -0300 |
commit | 7127f0943df4790f49afa8fda084ea6dff705e7e (patch) | |
tree | bd11c79491aaa4b0916649590cffb06a79c1d21c | |
parent | 45443a165147859f83df37223572cdd40df476b4 (diff) | |
parent | 3d931f3353eaa3bb9afed0c351389006826191df (diff) |
Merge pull request #5139 from zaps166/init_navigation_pointer
GridMap: Initialize "navigation" pointer
-rw-r--r-- | modules/gridmap/grid_map.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/gridmap/grid_map.cpp b/modules/gridmap/grid_map.cpp index 503e723de2..5e30416641 100644 --- a/modules/gridmap/grid_map.cpp +++ b/modules/gridmap/grid_map.cpp @@ -1830,7 +1830,7 @@ GridMap::GridMap() { baked_light_instance=NULL; use_baked_light=false; - + navigation = NULL; } |