X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/91b588dea2cd9d465b092f5a934ebf1638f79253..08cf86420d78ec43cc82ce0258cd86704afd80bd:/config.hin

diff --git a/config.hin b/config.hin
index bf0caac..cd1a83a 100644
--- a/config.hin
+++ b/config.hin
@@ -1,6 +1,6 @@
 /* config.hin.  Generated from configure.ac by autoheader.  */
 
-/*@ -constmacros@*/
+/*@ -macroconstdecl@*/
 
 /* build */
 #undef BUILD
@@ -102,4 +102,4 @@
 /* needed to expose mode_t on some machines */
 #undef _ALL_SOURCE
 
-/*@ =constmacros@*/
+/*@ =macroconstdecl@*/