diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-08-18 21:11:10 +0300 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-08-18 21:11:10 +0300 |
| commit | be0b9e047a007685aa10a268f9bf856e9a52ef58 (patch) | |
| tree | 81ac0c52f93b5ece781c3c1a0c9821ffc5725ebc /tests/splint/splint.rc | |
| parent | 62b4a8ecaac45ce62cc93e09261d60e6ceade1a9 (diff) | |
Rename poorly named identifier to avoid name conflicts.
Update issue 106
Status: FixedInGit
Diffstat (limited to 'tests/splint/splint.rc')
| -rw-r--r-- | tests/splint/splint.rc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/splint/splint.rc b/tests/splint/splint.rc index e2b26888..e47d3c21 100644 --- a/tests/splint/splint.rc +++ b/tests/splint/splint.rc @@ -2,7 +2,6 @@ +partial +matchanyintegral +strictlib --isoreserved # to be fixed in 0.3 -nullassign -predboolint -predboolptr |