X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/00e1df75b4256162690f8247db67375da80e38b2..c09ebffeb5fc8d2c644fa818f3510a6300340725:/config.hin

diff --git a/config.hin b/config.hin
index 1060d69..852e9c4 100644
--- a/config.hin
+++ b/config.hin
@@ -1,6 +1,6 @@
 /* config.hin.  Generated from configure.ac by autoheader.  */
 
-/*constmacros@*/
+/*@-constmacros@*/
 
 /* build */
 #undef BUILD