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

diff --git a/src/lclint.lclintrc b/src/lclint.lclintrc
index ad88710..6a272d7 100644
--- a/src/lclint.lclintrc
+++ b/src/lclint.lclintrc
@@ -88,3 +88,5 @@
 +slashslashcomment
 
 
++constraintlocation
+-incondefs
\ No newline at end of file