Address review comment about ignored QL variable

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
This commit is contained in:
Kasper Svendsen
2025-07-15 15:34:08 +02:00
committed by GitHub
parent 0739c03d03
commit f84a3084f0

View File

@@ -83,7 +83,7 @@ private predicate discardReferableLocatable(@locatable el) {
}
overlay[local]
private predicate baseConfigLocatable(@configLocatable l) { not isOverlay() and l = l }
private predicate baseConfigLocatable(@configLocatable l) { not isOverlay() and exists(l) }
overlay[local]
private predicate overlayHasConfigLocatables() {