Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll

MathiasVP · jketema · web-flow · commit 17c8fa3e8496 · 2024-04-09T09:27:44.000+01:00
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
@@ -821,7 +821,7 @@ newtype TTranslatedElement =
   // The set of destructors to invoke after a `throw`. These need to be special
   // cased because the edge kind following a throw is an `ExceptionEdge`, and
   // we need to make sure that the edge kind is still an `ExceptionEdge` after
-  // all the destructors has run.
+  // all the destructors have run.
   TTranslatedDestructorsAfterThrow(ThrowExpr throw) {
     exists(DestructorCall dc |
       dc = throw.getAnImplicitDestructorCall() and
