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 421f5677..e2b26888 100644 --- a/tests/splint/splint.rc +++ b/tests/splint/splint.rc @@ -28,6 +28,7 @@ -kepttrans -branchstate -immediatetrans +-mustfreefresh # These tests give false positives, compiler typically has # better warnings for these. |