Committing to update configuration scripts.

[splint.git] / config.hin

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