Making fixes for Microsoft Visual C++ compiler.

[splint.git] / src / Headers / splintMacros.nf

diff --git a/src/Headers/splintMacros.nf b/src/Headers/splintMacros.nf
index f441a1d0a952142564de02152b481f1643e9432f..1d5a738424305aa63f554ea643251b05c636f8a6 100644 (file)
--- a/src/Headers/splintMacros.nf
+++ b/src/Headers/splintMacros.nf
@@ -111,14 +111,13 @@
 /*@notfunction@*/
 # define NOALIAS(s,t) (/*@ignore@*/ (s == NULL) || (s != t) /*@end@*/)
 
-/*@i343434*/ /*fix this before release verion*/
-/* get rid of @-formatconst@ */
+/* evans 2002-02-24: got rid of -formatconst */
 
 /*@notfunction@*/
 # define TPRINTF(arg) \
-  do { /*@-mustfree@*/ /*@-null@*/ /*@-formatconst@*/ (void) fflush (stderr); (void) fflush (stdout); \
+  do { /*@-mustfree@*/ /*@-null@*/ (void) fflush (stderr); (void) fflush (stdout); \
        printf ("%s:%d [%s]: >> ", __FILE__, __LINE__, cstring_toCharsSafe (fileloc_unparse(g_currentloc))); \
-       (void)printf arg; printf("\n"); /*@=formatconst@*/ /*@=mustfree@*/ /*@=null@*/ (void) fflush (stdout); \
+       (void)printf arg; printf("\n"); /*@=mustfree@*/ /*@=null@*/ (void) fflush (stdout); \
        } while (FALSE)
 
 /*