Fixed bug.

NO_POSTERIOR_KERNEL_DENSITY option was not modifying the expected field in
options_, consequently this option was no honored.
time-shift
Stéphane Adjemian (Charybdis) 2017-01-20 17:35:43 +01:00
parent 1de5ac8ecf
commit da31cca7d4
1 changed files with 1 additions and 1 deletions

View File

@ -2864,7 +2864,7 @@ o_optim : OPTIM EQUAL '(' optim_options ')';
o_posterior_sampler_options : POSTERIOR_SAMPLER_OPTIONS EQUAL '(' sampling_options ')' ;
o_proposal_distribution : PROPOSAL_DISTRIBUTION EQUAL symbol { driver.option_str("posterior_sampler_options.posterior_sampling_method.proposal_distribution", $3); };
o_no_posterior_kernel_density : NO_POSTERIOR_KERNEL_DENSITY
{ driver.option_num("moments_posterior_density.indicator", "0"); }
{ driver.option_num("estimation.moments_posterior_density.indicator", "0"); }
;
o_mh_init_scale : MH_INIT_SCALE EQUAL non_negative_number { driver.option_num("mh_init_scale", $3); };
o_mode_file : MODE_FILE EQUAL filename { driver.option_str("mode_file", $3); };