From 469357432f289311fddb20602bc7bc17dc524b50 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Sat, 26 Oct 2024 23:47:01 +0200
Subject: [PATCH] Changed message

---
 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 1e8e102..fd10aba 100644
--- a/src/analysis/typepal/Solver.rsc
+++ b/src/analysis/typepal/Solver.rsc
@@ -836,7 +836,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
                        definedBy[u.occ] = foundDefs;
                        newPaths += {<u.scope, rp.pathRole, def>};
                     } else {
-                        messages += error("<tm.modelName>: Name `<u.id>` is ambiguous <foundDefs>", u.occ);
+                        messages += error("Name `<u.id>` is ambiguous <foundDefs>", u.occ);
                     }
                     referPaths -= {rp};
                 } else {