Update k-frontend/src/main/java/org/kframework/compile/ResolveStrict.…

…java Co-authored-by: Tamás Tóth <[email protected]>
runtimeverification · Nov 27, 2024 · 685c9b1 · 685c9b1
1 parent a1c0ffa
commit 685c9b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/k-frontend/src/main/java/org/kframework/compile/ResolveStrict.java b/k-frontend/src/main/java/org/kframework/compile/ResolveStrict.java
@@ -119,7 +119,7 @@ private void setAliases(String attribute, Set<ContextAlias> aliases, Production
   private static final ContextAlias DEFAULT_ALIAS =
       ContextAlias(KVariable("HERE"), BooleanUtils.TRUE, Att.empty());
 
-  private static final ContextAlias defaultAliasWithAtts(Att att) {
+  private static final ContextAlias defaultAliasFor(Production production) {
     if (!att.contains(Att.RESULT())) {
       return DEFAULT_ALIAS;
     }