Skip to content
Snippets Groups Projects
Verified Commit 9dfe25ee authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Forbid multiple identical clauses in “occbin_constraints” block

Closes: #97
(cherry picked from commit af88f50d)
parent 80752f55
Branches
No related tags found
No related merge requests found
Pipeline #7063 passed
...@@ -910,7 +910,9 @@ occbin_constraints_regime_options_list : occbin_constraints_regime_option ...@@ -910,7 +910,9 @@ occbin_constraints_regime_options_list : occbin_constraints_regime_option
| occbin_constraints_regime_options_list occbin_constraints_regime_option | occbin_constraints_regime_options_list occbin_constraints_regime_option
{ {
$$ = $1; $$ = $1;
$$.insert($2); auto [it, success] = $$.insert($2);
if (!success)
driver.error("The '" + $2.first + "' clause is declared multiple times");
} }
; ;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment