[DynareDev] [Trac] #209: check use of set_default_option()

#209: check use of set_default_option() --------------------------+------------------------------------------------- Reporter: michel | Owner: Type: bug | Status: new Priority: major | Milestone: 4.3 Component: Core M-files | Version: Keywords: | --------------------------+------------------------------------------------- set_default_option takes an action only if the field name doesn't exist in options_. But, now, most options have a default value set in global_initialization.m, so most of the calls to set_default_option are useless and may, sometimes, not produce the desired results.