C++: Fix 'implicit this' warning.

This commit is contained in:
Mathias Vorreiter Pedersen
2022-03-22 13:32:46 +00:00
parent 93346a574f
commit c35b385383

View File

@@ -73,7 +73,7 @@ class Location extends @location {
/** Holds if `this` comes on a line strictly before `l`. */
pragma[inline]
predicate isBefore(Location l) { isBefore(l, false) }
predicate isBefore(Location l) { this.isBefore(l, false) }
/**
* Holds if `this` comes strictly before `l`. The boolean `sameLine` is