Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / .splintrc

diff --git a/src/.splintrc b/src/.splintrc
index e7af515f5ce49c9c0a233eb5604dfe8dc5ada203..10e3bd2ac839a791990c34899dc06865e16394d8 100644 (file)
--- a/src/.splintrc
+++ b/src/.splintrc
@@ -76,6 +76,9 @@
 -boolfalse FALSE
 
 +numliteral
++numabstractindex
++numabstractlit
+-numabstractprint
 
 -indentspaces 3