print a correct range for ranges that doesn't contain any alpha-numeric chars

This commit is contained in:
erik-krogh
2022-08-30 13:57:11 +02:00
parent f5d43b80ed
commit 7fd426e748
6 changed files with 7 additions and 4 deletions

View File

@@ -173,7 +173,7 @@ module RangePrinter {
}
/** Gets the number of parts we should print for a given `range`. */
private int parts(OverlyWideRange range) { result = 1 + strictcount(cutoff(range, _)) }
private int parts(OverlyWideRange range) { result = 1 + count(cutoff(range, _)) }
/** Holds if the given part of a range should span from `low` to `high`. */
private predicate part(OverlyWideRange range, int part, string low, string high) {