Skip to content

Commit

Permalink
Fix typo in one of the alert messages from RULE-8-2
Browse files Browse the repository at this point in the history
  • Loading branch information
jketema committed Nov 28, 2023
1 parent d79970f commit a6e3b5e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ where
msg = "Function " + f + " declares parameter that is unnamed."
or
hasZeroParamDecl(f) and
msg = "Function " + f + " does not specifiy void for no parameters present."
msg = "Function " + f + " does not specify void for no parameters present."
or
//parameters declared in declaration list (not in function signature)
//have placeholder file location associated only
Expand Down
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
| test.c:3:6:3:7 | f1 | Function f1 declares parameter that is unnamed. |
| test.c:4:6:4:7 | f2 | Function f2 does not specifiy void for no parameters present. |
| test.c:4:6:4:7 | f2 | Function f2 does not specify void for no parameters present. |
| test.c:7:5:7:6 | f5 | Function f5 declares parameter in unsupported declaration list. |

0 comments on commit a6e3b5e

Please sign in to comment.