Skip to content

Commit

Permalink
Merge pull request #456 from jketema/typo-fix
Browse files Browse the repository at this point in the history
Fix typo in one of the alert messages from RULE-8-2
  • Loading branch information
lcartey authored Nov 28, 2023
2 parents d79970f + 7e0e04e commit a07448d
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 4 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,4 +1,4 @@
| 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:5:6:5:7 | f3 | Function f3 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:5:6:5:7 | f3 | Function f3 does not specify void for no parameters present. |
| test.c:7:5:7:6 | f5 | Function f5 declares parameter in unsupported declaration list. |
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 a07448d

Please sign in to comment.