mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Add this.
This commit is contained in:
@@ -233,7 +233,7 @@ module KindPredicatesLog {
|
||||
|
||||
override string toString() {
|
||||
if exists(this.getPredicateName())
|
||||
then result = getPredicateName()
|
||||
then result = this.getPredicateName()
|
||||
else result = "<Summary event>"
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user