CPP: Use strictconcat.

This commit is contained in:
Geoffrey White
2019-01-18 15:01:47 +00:00
parent c62cfb338a
commit 458fddd28e

View File

@@ -113,7 +113,7 @@ private int fileHeaderLimit(File f) {
class AutogeneratedFile extends File {
cached AutogeneratedFile() {
autogeneratedComment(
concat(Comment c |
strictconcat(Comment c |
c.getFile() = this and
c.getLocation().getStartLine() <= fileHeaderLimit(this) |
c.getContents() order by c.getLocation().getStartLine()