spelling: parameterized

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
This commit is contained in:
Josh Soref
2022-10-19 04:16:30 -04:00
parent 08d479bff4
commit f2ce34cd41

View File

@@ -313,7 +313,7 @@ private predicate definesModule(
m = TModule(any(Module mod | public = getPublicBool(mod)))
)
or
// signature module in a paramertized module
// signature module in a parameterized module
exists(Module mod, SignatureExpr sig, TypeRef ty, int i |
mod = container.asModule() and
mod.hasParameter(i, name, sig) and