Fixed erroneous parameter

usethesource · Mar 14, 2024 · e7401ab · e7401ab
1 parent b51d1d3
commit e7401ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/ComputeType.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/ComputeType.rsc
@@ -343,7 +343,7 @@ void checkPatternKwArgs(list[Keyword] kwFormals, (KeywordArguments[Pattern]) `<K
            if(kwName == fn){
               ift = ft;
               if(!isEmpty(bindings)){
-                  try   ift = instantiateRascalTypeParameters(k, ft, bindings, s); // changed
+                  try   ift = instantiateRascalTypeParameters(kwa, ft, bindings, s); // changed
                   catch invalidInstantiation(str msg):
                         s.report(error(kwa, msg));
               }