diff options
Diffstat (limited to 'tests/splint/splint.rc')
| -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. |