We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2938ad5 commit d70ea5fCopy full SHA for d70ea5f
cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll
@@ -79,7 +79,7 @@ abstract private class Condition extends TCondition {
79
/** Gets the value of this `Condition`. */
80
abstract boolean getTruthValue();
81
82
- /** Gets the negated the expression represented by this `Condition`, if any. */
+ /** Gets the negated expression represented by this `Condition`, if any. */
83
Condition negate() { none() }
84
85
/**
0 commit comments