Revision history [back]

The string you edited is the default value for the parameter. You could have a parameter file loaded, or defined that parameter in a .launch script, which defines the base_global_planner as navfn, therefore it never uses your default value.

Try finding if you got a parameter like this set up in some config file or launch script, and change it to your carrot planner. Generally you shouldn't need to edit the code, you can adjust most navigation settings using parameters.