Another cast

runtimeverification · Nov 8, 2023 · 7559a5a · 7559a5a
1 parent 6d60c09
commit 7559a5a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kernel/src/main/java/org/kframework/compile/ResolveFun.java b/kernel/src/main/java/org/kframework/compile/ResolveFun.java
@@ -113,8 +113,8 @@ public K apply(KApply k) {
               && app.items().get(0) instanceof KVariable) {
             nameHint1 = ((KVariable) app.items().get(0)).name();
           }
-          if (body instanceof KApply) {
-            nameHint2 = ((KApply) body).klabel().name();
+          if (body instanceof KApply app) {
+            nameHint2 = app.klabel().name();
           }
           KLabel fun = getUniqueLambdaLabel(nameHint1, nameHint2);
           Sort lhsSort = sort(RewriteToTop.toLeft(body));