From be0b9e047a007685aa10a268f9bf856e9a52ef58 Mon Sep 17 00:00:00 2001 From: Petteri Aimonen <jpa@git.mail.kapsi.fi> Date: Mon, 18 Aug 2014 21:11:10 +0300 Subject: Rename poorly named identifier to avoid name conflicts. Update issue 106 Status: FixedInGit --- tests/splint/splint.rc | 1 - 1 file changed, 1 deletion(-) (limited to 'tests/splint') 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 -- cgit 1.2.3-korg