Tried to fix some problems with the configuration system.

[splint.git] / src / lclint.lclintrc

diff --git a/src/lclint.lclintrc b/src/lclint.lclintrc
index 7bdc921ae707b329c10a840e170bf13f1dc65a4a..ad88710ac82fc2f40169284c54000e95b14f9e24 100644 (file)
--- a/src/lclint.lclintrc
+++ b/src/lclint.lclintrc
@@ -83,3 +83,8 @@
 +numliteral
 
 -indentspaces 3
+
+#drl add 11-15-2001
++slashslashcomment
+
+