From a475efbe39da89fcd480d1d2a182277e3b8753b1 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Thu, 18 May 2023 09:37:20 +0100 Subject: [PATCH] Update cpp/ql/lib/semmle/code/cpp/Type.qll --- cpp/ql/lib/semmle/code/cpp/Type.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/lib/semmle/code/cpp/Type.qll b/cpp/ql/lib/semmle/code/cpp/Type.qll index f21d8c1615d..91354ef2e08 100644 --- a/cpp/ql/lib/semmle/code/cpp/Type.qll +++ b/cpp/ql/lib/semmle/code/cpp/Type.qll @@ -1703,7 +1703,7 @@ private predicate suppressUnusedThis(Type t) { any() } * A source code location referring to a user-defined type. * * Note that only _user-defined_ types have `TypeMention`s. In particular, - * built-in types, and derived types with build-in types as their base don't + * built-in types, and derived types with built-in types as their base don't * have any `TypeMention`s. For example, given * ```cpp * struct S { ... };