Skip to content

Commit abc4981

Browse files
committed
Rust: Address QL-for-QL complaint.
1 parent 983179b commit abc4981

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

rust/ql/src/queries/summary/Stats.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,4 +20,6 @@ int getLinesOfUserCode() {
2020
/**
2121
* Gets a count of the total number of control flow graph inconsistencies in the database.
2222
*/
23-
int getTotalCfgInconsistencies() { result = sum(CfgConsistency::getCfgInconsistencyCounts(_)) }
23+
int getTotalCfgInconsistencies() {
24+
result = sum(string type | | CfgConsistency::getCfgInconsistencyCounts(type))
25+
}

0 commit comments

Comments
 (0)