Removed wrong usage of `default` from the Option API#10854

Closed

Kimundi wants to merge 1 commit intorust-lang:masterfrom

Kimundi:result_compose_map_mutate_or

Commits on Jan 7, 2014

Renamed Option::map_default and mutate_default to map_or and mutate_or_set
Kimundi
committed