From f5dd948ba257222606c01da71c864d9e27b57c66 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Thu, 28 Nov 2024 13:43:43 +0100
Subject: [PATCH] Improved title of action for undefined name

---
 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 813d220..dc8e6d2 100644
--- a/src/analysis/typepal/Solver.rsc
+++ b/src/analysis/typepal/Solver.rsc
@@ -1719,7 +1719,7 @@ Solver newSolver(map[str,Tree] namedTrees, TModel tm){
 list[CodeAction] undefinedNameProposals(Use u, TModel tm)
     =
     [ action(
-        title="Replace undefined `<getOrgId(u)>`", 
+        title="Replace by `<prop>`", 
         edits=[changed([replace(u.occ, prop)])]
       )
     | str prop <- tm.config.similarNames(u, tm)