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