diff options
| author | Julia Lawall | 2015-10-17 11:35:46 +0200 |
|---|---|---|
| committer | Michal Marek | 2015-10-26 22:26:23 +0100 |
| commit | 7c2aa6116b5bdc0cc09ae5917ea0b5ef3cc45cec (patch) | |
| tree | a3f4bb42177ed66a2bd3b4a6b37c1821eee1f9f9 /scripts | |
| parent | 1a617a8475e8509255cc77f88c148095f4cc05ba (diff) | |
scripts/coccinelle: fix typos
Fix a couple spelling mistakes.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coccinelle/null/deref_null.cocci | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/coccinelle/null/deref_null.cocci b/scripts/coccinelle/null/deref_null.cocci index cdac6cfcce92..f192d6035d02 100644 --- a/scripts/coccinelle/null/deref_null.cocci +++ b/scripts/coccinelle/null/deref_null.cocci @@ -1,6 +1,6 @@ /// -/// A variable is dereference under a NULL test. -/// Even though it is know to be NULL. +/// A variable is dereferenced under a NULL test. +/// Even though it is known to be NULL. /// // Confidence: Moderate // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. |