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