diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc index 74f85aa..29a7e4f 100644 --- a/src/analysis/typepal/Collector.rsc +++ b/src/analysis/typepal/Collector.rsc @@ -1013,9 +1013,9 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co loc limitLocToFirstLine(loc l){ try { - str txt = readFile(l); - int k = findFirst(txt, "\n"); - if(k >= 0){ + list[str] lines = readFileLines(l); + if(!isEmpty(lines)){ + int k = size(lines[0]); return l[length=k][end=]; } } catch _:;