Fix bug in new estimation syntax introduced in 7280c92642

fix-tolerance-parameters
Sébastien Villemot 2022-04-21 17:38:41 +02:00
parent b5a4df1608
commit 516f0bf41f
No known key found for this signature in database
GPG Key ID: 2CECE9350ECEBE4A
1 changed files with 2 additions and 2 deletions

View File

@ -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