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