hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #13418 from jcogs33/jcogs33/fix-typo-in-parameterized-module-docs

Browse Source 
Docs: fix typo in spelling of keyword
This commit is contained in:
Jami
2023-06-09 08:17:07 -04:00
committed by GitHub
parent 1b7bbf6320 7aede5034d
commit f222cce2e5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/codeql/ql-language-reference/modules.rst
View File

@@ -139,7 +139,7 @@ Parameterized modules
=====================
Parameterized modules are QL's approach to generic programming.
Similar to explicit modules, parameterized modules are defined within other modules using the keywork ``module``.
Similar to explicit modules, parameterized modules are defined within other modules using the keyword ``module``.
In addition to the module name, parameterized modules declare one or more parameters between the name and the module body.
For example, consider the module ``M``, which takes two predicate parameters and defines a new predicate