Fixed type error for the benefit of the compiler

PaulKlint · PaulKlint · commit bd5ef9d8159e · 2025-02-05T23:28:56.000+01:00
diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc
@@ -266,7 +266,7 @@ TModel convertTModel2LogicalLocs(TModel tm, map[str,TModel] tmodels){
                     mnames += mname;
                 }
             }
-            tm.messages += error("Please recheck modules <intercalateAnd(toList(mnames))>; their mapping from physical to logical locations is outdated", where);
+            tm.messages += [error("Please recheck modules <intercalateAnd(toList(mnames))>; their mapping from physical to logical locations is outdated", where)];
             return tm;
         }
         logical2physical = tm.logical2physical;

Original file line number	Diff line number	Diff line change
`@@ -266,7 +266,7 @@ TModel convertTModel2LogicalLocs(TModel tm, map[str,TModel] tmodels){`
`266`	`266`	`mnames += mname;`
`267`	`267`	`}`
`268`	`268`	`}`
`269`		`- tm.messages += error("Please recheck modules <intercalateAnd(toList(mnames))>; their mapping from physical to logical locations is outdated", where);`
	`269`	`+ tm.messages += [error("Please recheck modules <intercalateAnd(toList(mnames))>; their mapping from physical to logical locations is outdated", where)];`
`270`	`270`	`return tm;`
`271`	`271`	`}`
`272`	`272`	`logical2physical = tm.logical2physical;`