diff --git a/common/kernel/sdc.cc b/common/kernel/sdc.cc index bc93da9b10..b1f60ddd1a 100644 --- a/common/kernel/sdc.cc +++ b/common/kernel/sdc.cc @@ -477,6 +477,8 @@ struct SDCParser log_error("expecting SdcValue argument to -from (line %d)\n", lineno); } + for (const auto& ety : val.) + if (val.list.size() != 1) { log_error("Expected a single SdcEntity as argument to -to/-from (line %d)\n", lineno); }