From 0ba3cd96f50a539905f4782ca544c1e8f10d8d6c Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Mon, 20 May 2024 10:02:50 +0100
Subject: [PATCH] C++: Update an instance of the name 'Semmle' in a doc page.

---
 cpp/ql/src/Likely Bugs/Format/NonConstantFormat.qhelp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.qhelp b/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.qhelp
index 1df186def0a4..6994e49943fc 100644
--- a/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.qhelp	
+++ b/cpp/ql/src/Likely Bugs/Format/NonConstantFormat.qhelp	
@@ -42,7 +42,7 @@ in the previous example, one solution is to make the log message a trailing argu
 <p>An alternative solution is to allow <code>log_with_timestamp</code> to accept format arguments:</p>
 <sample src="NonConstantFormat-2-good.c" />
 <p>In this formulation, the non-constant format string to <code>printf</code> has been replaced with
-a non-constant format string to <code>vprintf</code>. Semmle will no longer consider the body of
+a non-constant format string to <code>vprintf</code>. The analysis will no longer consider the body of
 <code>log_with_timestamp</code> to be a problem, and will instead check that every call to
 <code>log_with_timestamp</code> passes a constant format string.</p>