Integrated Herbert Martin Dietze's changes for OS/2.

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

diff --git a/src/Headers/splintMacros.nf b/src/Headers/splintMacros.nf
index 200a06f9f437e13c8360a90cef63e514ba37cf83..f441a1d0a952142564de02152b481f1643e9432f 100644 (file)
--- a/src/Headers/splintMacros.nf
+++ b/src/Headers/splintMacros.nf
@@ -121,14 +121,12 @@
        (void)printf arg; printf("\n"); /*@=formatconst@*/ /*@=mustfree@*/ /*@=null@*/ (void) fflush (stdout); \
        } while (FALSE)
 
+/*
+** DPRINTF does nothing, just a marker to save TPRINTF's
+*/
 
-# if DEBUGPRINT
-/*@notfunction@*/
-# define DPRINTF(s) /*@access cstring@*/ TPRINTF(s) /*@noaccess cstring@*/
-# else
 /*@notfunction@*/
 # define DPRINTF(s)   
-# endif
 
 /*@notfunction@*/
 # define INTCOMPARERETURN(x,y) \