From d81c58f413dc109d4154c690f2c6b247513f79d5 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Tue, 5 Nov 2024 09:23:05 +0100
Subject: [PATCH] boolean -> bool :-(

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