Fix incomplete loading of TModels.

usethesource · Dec 19, 2024 · 01e644c · 01e644c
1 parent 8a704ae
commit 01e644c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rascal-lsp/src/main/rascal/lang/rascal/lsp/refactor/Rename.rsc b/rascal-lsp/src/main/rascal/lang/rascal/lsp/refactor/Rename.rsc
@@ -423,7 +423,7 @@ set[TModel] rascalTModels(set[loc] fs, PathConfig pcfg) {
     ms = rascalTModelForLocs(toList(fs), ccfg, dummy_compile1);
 
     set[TModel] tmodels = {};
-    for (m <- fs, modName := getModuleName(m, pcfg)) {
+    for (modName <- ms.moduleLocs) {
         <found, tm, ms> = getTModelForModule(modName, ms);
         if (!found) throw unexpectedFailure("Cannot read TModel for module \'<modName>\'\n<toString(ms.messages)>");
         tmodels += tm;