From 0e848d4fe8892e3962ef44d551b4b43582650b2c Mon Sep 17 00:00:00 2001 From: Rowan Goemans Date: Thu, 26 Sep 2024 18:37:32 +0200 Subject: [PATCH] sdc: Allow multiple entities in from/to --- common/kernel/sdc.cc | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/common/kernel/sdc.cc b/common/kernel/sdc.cc index bc93da9b..7e177187 100644 --- a/common/kernel/sdc.cc +++ b/common/kernel/sdc.cc @@ -477,13 +477,9 @@ struct SDCParser log_error("expecting SdcValue argument to -from (line %d)\n", lineno); } - if (val.list.size() != 1) { - log_error("Expected a single SdcEntity as argument to -to/-from (line %d)\n", lineno); + for (const auto &ety : val.list) { + sdc_into_path_constraint(ety, is_from, ct); } - - auto &ety = val.list.at(0); - - sdc_into_path_constraint(ety, is_from, ct); } }