diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-04-05 11:11:05 +0300 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-04-05 11:11:05 +0300 |
| commit | e5b855fec5d2977971f96d817728c7a3ee8077b2 (patch) | |
| tree | 33dbf33ea17c072d4db878ee043d2244f2ab638c /tests/splint | |
| parent | 70dee34da6578ab76dbf00009357d679e154e04b (diff) | |
Add a 'found' field to pb_extension_t.
Update issue 112
Status: FixedInGit
Diffstat (limited to 'tests/splint')
| -rw-r--r-- | tests/splint/splint.rc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/splint/splint.rc b/tests/splint/splint.rc index c77e210f..421f5677 100644 --- a/tests/splint/splint.rc +++ b/tests/splint/splint.rc @@ -27,6 +27,7 @@ -dependenttrans -kepttrans -branchstate +-immediatetrans # These tests give false positives, compiler typically has # better warnings for these. |