Run LCLint on the code on cleaned things up a like.

[splint.git] / src / lclint.lclintrc

diff --git a/src/lclint.lclintrc b/src/lclint.lclintrc
index 8381c7afd4f3f1ebc233b1928f85485ecd6ad035..515a3a5fb82acffda9f8b48bb6ab485da631eb16 100644 (file)
--- a/src/lclint.lclintrc
+++ b/src/lclint.lclintrc
@@ -80,3 +80,8 @@
 -boolfalse FALSE
 
 +numliteral
+-predboolothers
+-temptrans
+-branchstate
+-onlytrans
+-retalias
\ No newline at end of file