diff --git a/src/DynareBison.yy b/src/DynareBison.yy index 69761e37cd68180317ac8d2c7953f25da04876ee..59e8bcae0514d6ccf52f0ba67a24988f5ebce923 100644 --- a/src/DynareBison.yy +++ b/src/DynareBison.yy @@ -871,7 +871,9 @@ occbin_constraints_regime_options_list : occbin_constraints_regime_option | occbin_constraints_regime_options_list occbin_constraints_regime_option { $$ = $1; - $$.insert($2); + auto [it, success] = $$.insert($2); + if (!success) + driver.error("The '" + $2.first + "' clause is declared multiple times"); } ;