From 24242a7afc50440d230501e56a467b347fb4deb1 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Tue, 17 Feb 2026 14:55:13 +0100
Subject: [PATCH] Fixed warning

---
 src/analysis/typepal/Solver.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
index e0c81ce..2a89a08 100644
--- a/src/analysis/typepal/Solver.rsc
+++ b/src/analysis/typepal/Solver.rsc
@@ -741,7 +741,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
                     addFact(selectorLoc, tp);
                     return tp;
                  } else {
-                    for(<loc key, IdRole idr, AType tp> <- valid_overloads){
+                    for(<loc key, IdRole idr, AType _> <- valid_overloads){
                         if(idr in idRolesSel)  addUse({key}, selectorUse);
                     }
                     tp2 = overloadedAType(valid_overloads);