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

MathiasVP · geoffw0 · web-flow · commit d70ea5f6e03d · 2021-06-24T09:27:11.000+02:00
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll b/cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll
@@ -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() }
 
   /**
