We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 06bd394 commit 67a746eCopy full SHA for 67a746e
cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
@@ -112,7 +112,7 @@ abstract private class GuardConditionImpl extends Expr {
112
113
/**
114
* Holds if (determined by this guard) `left < right + k` must be `isLessThan` in `block`.
115
- * If `isLessThan = false` then this implies `left >= right + k`. Note that there's a 4-argument
+ * If `isLessThan = false` then this implies `left >= right + k`. Note that there's a 4-argument
116
* ("unary") and a 5-argument ("binary") version of this predicate (see `comparesEq`).
117
*/
118
pragma[inline]
0 commit comments