summaryrefslogtreecommitdiff
path: root/popt/.lclintrc
diff options
context:
space:
mode:
Diffstat (limited to 'popt/.lclintrc')
-rw-r--r--popt/.lclintrc8
1 files changed, 1 insertions, 7 deletions
diff --git a/popt/.lclintrc b/popt/.lclintrc
index 3e869d52b..81370f681 100644
--- a/popt/.lclintrc
+++ b/popt/.lclintrc
@@ -9,18 +9,12 @@
# don't-bother-me-yet parameters
#-branchstate
-#-immediatetrans
-mustfree
-#-observertrans
-#-statictrans
# not-yet normal parameters
-boolops # w->n
--fixedformalarray
--null
+#-null
-predboolint # w->n
--predboolothers # w->n
--retvalint # w->n
-type