sdc: Allow multiple entities in from/to

This commit is contained in:
Rowan Goemans 2024-09-26 18:37:32 +02:00
parent e7f8ca5ea6
commit 0e848d4fe8

View File

@ -477,13 +477,9 @@ struct SDCParser
log_error("expecting SdcValue argument to -from (line %d)\n", lineno); log_error("expecting SdcValue argument to -from (line %d)\n", lineno);
} }
if (val.list.size() != 1) { for (const auto &ety : val.list) {
log_error("Expected a single SdcEntity as argument to -to/-from (line %d)\n", lineno); sdc_into_path_constraint(ety, is_from, ct);
} }
auto &ety = val.list.at(0);
sdc_into_path_constraint(ety, is_from, ct);
} }
} }