X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/68de3f33cfd8b4bd66fe22f6069e2658082bdf58..288cbc5cbbbb68f1c95fd491c667d34e162f7863:/src/lclint.lclintrc

diff --git a/src/lclint.lclintrc b/src/lclint.lclintrc
index 7bdc921..6a272d7 100644
--- a/src/lclint.lclintrc
+++ b/src/lclint.lclintrc
@@ -83,3 +83,10 @@
 +numliteral
 
 -indentspaces 3
+
+#drl add 11-15-2001
++slashslashcomment
+
+
++constraintlocation
+-incondefs
\ No newline at end of file