Update cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll

Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2021-06-24 09:27:11 +02:00
committed by GitHub
parent 2938ad5f8f
commit d70ea5f6e0

View File

@@ -79,7 +79,7 @@ abstract private class Condition extends TCondition {
/** Gets the value of this `Condition`. */
abstract boolean getTruthValue();
/** Gets the negated the expression represented by this `Condition`, if any. */
/** Gets the negated expression represented by this `Condition`, if any. */
Condition negate() { none() }
/**