From 7f9d40d92dd387f55143375bc99dd0491ec29ead Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Tue, 5 Nov 2024 09:06:44 +0100
Subject: [PATCH] Added declaration to avoid potential name conflict

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

diff --git a/src/analysis/typepal/Solver.rsc b/src/analysis/typepal/Solver.rsc
index a848de7..77bb0b0 100644
--- a/src/analysis/typepal/Solver.rsc
+++ b/src/analysis/typepal/Solver.rsc
@@ -934,6 +934,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
     }
 
     bool unify(AType given, AType expected){
+        boolean ok = false;
         <ok, bindings1> = unify(given, expected, bindings);
         if(ok){
             bindings += bindings1;