Made make lint work. Although exprNode_doSwitchExpr surpresses too much.

[splint.git] / test / maxset / .lclintrc

diff --git a/test/maxset/.lclintrc b/test/maxset/.lclintrc
index 7512d0fca237c0107405e1c7f325d5d9b805f6b7..3733a1e3e040474a8d4457dc5118280a6d8e89e0 100644 (file)
--- a/test/maxset/.lclintrc
+++ b/test/maxset/.lclintrc
@@ -1,2 +1,2 @@
 -no-lib
-+fcnconstraint
++arrayBounds