Use comma separator

Co-authored-by: Marten Lohstroh <marten@berkeley.edu>
lf-lang · Feb 15, 2022 · eb3b598 · eb3b598
1 parent 3615407
commit eb3b598
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/org.lflang/src/org/lflang/validation/LFValidator.java b/org.lflang/src/org/lflang/validation/LFValidator.java
@@ -503,7 +503,7 @@ public void checkKeyValuePair(KeyValuePair param) {
             if (prop == null) {
                 String options = TargetProperty.getOptions().stream()
                                                .map(p -> p.description).sorted()
-                                               .collect(Collectors.joining(" "));
+                                               .collect(Collectors.joining(", "));
                 warning(
                     "Unrecognized target parameter: " + param.getName() +
                         ". Recognized parameters are: " + options,