diff --git a/src/DynareBison.yy b/src/DynareBison.yy index 161b74b60bf2ddf58c0401e5db0bdcc489f98b12..caa7d611d258e3bc13f852c160b11aa770505816 100644 --- a/src/DynareBison.yy +++ b/src/DynareBison.yy @@ -2072,8 +2072,8 @@ options_options : o_jscale ; options_eq : options_eq_opt EQUAL options_eq_opt ';' - { driver.copy_prior(get<0>($1), get<1>($1), get<2>($1), get<3>($1), - get<0>($3), get<1>($3), get<2>($3), get<3>($3)); } + { driver.copy_options(get<0>($1), get<1>($1), get<2>($1), get<3>($1), + get<0>($3), get<1>($3), get<2>($3), get<3>($3)); } ; options_eq_opt : symbol '.' OPTIONS