diff --git a/rust/ql/lib/codeql/files/FileSystem.qll b/rust/ql/lib/codeql/files/FileSystem.qll index 367f088504b..93ff7be604e 100644 --- a/rust/ql/lib/codeql/files/FileSystem.qll +++ b/rust/ql/lib/codeql/files/FileSystem.qll @@ -46,7 +46,7 @@ extensible predicate additionalExternalFile(string relativePath); /** A file. */ class File extends Container, Impl::File { pragma[nomagic] - private string getRelativePath0() { result = this.getRelativePath() } + private predicate isAdditionalExternalFile() { additionalExternalFile(this.getRelativePath()) } /** * Holds if this file was extracted from the source code of the target project @@ -54,7 +54,7 @@ class File extends Container, Impl::File { */ predicate fromSource() { exists(ExtractorStep s | s.getAction() = "Extract" and s.getFile() = this) and - not additionalExternalFile(this.getRelativePath0()) + not this.isAdditionalExternalFile() } /**