fix more tests

lf-lang · Jan 24, 2022 · dc25e21 · dc25e21
1 parent 7269930
commit dc25e21
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/org.lflang.tests/src/org/lflang/tests/compiler/LinguaFrancaValidationTest.java b/org.lflang.tests/src/org/lflang/tests/compiler/LinguaFrancaValidationTest.java
@@ -1596,11 +1596,11 @@ private List<String> synthesizeExamples(TargetPropertyType type, boolean correct
             return examples;
         } else {
             if (type instanceof UnionType) {
-                return synthesizeExamples(type, correct);
+                return synthesizeExamples((UnionType) type, correct);
             } else if (type instanceof ArrayType) {
-                return synthesizeExamples(type, correct);
+                return synthesizeExamples((ArrayType) type, correct);
             } else if (type instanceof DictionaryType) {
-                return synthesizeExamples(type, correct);
+                return synthesizeExamples((DictionaryType) type, correct);
             } else {
                 Assertions.fail("Encountered an unknown type: " + type);
             }