Exclude locations in messages from conversion to logical locations

usethesource · Oct 16, 2024 · ef23231 · ef23231
1 parent e810dfb
commit ef23231
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc
@@ -215,7 +215,7 @@ TModel convertLocs(TModel tm, map[loc,loc] locMap){
     tm.facts = visit(tm.facts){ case loc l => locMap[l] ? l };
     tm.specializedFacts = visit(tm.specializedFacts){ case loc l => locMap[l] ? l };
     tm.useDef = { < locMap[f] ? f, locMap[t] ? t > | <f, t> <- tm.useDef };
-    tm.messages =  visit(tm.messages){ case loc l => locMap[l] ? l };
+    //tm.messages =  visit(tm.messages){ case loc l => locMap[l] ? l };
     tm.store =  visit(tm.store){ case loc l => locMap[l] ? l };
     tm.config = visit(tm.config){ case loc l => locMap[l] ? l };
     return tm;