Fixed pre-processing bug reported by Adam Clarke. Moved marking point

[splint.git] / src / cppmain.c

diff --git a/src/cppmain.c b/src/cppmain.c
index b05ddc437687db37f11978ffa34667d1ef4eea19..a01bf67424ac2fbdcb4b53ea33677908d0e393ee 100644 (file)
--- a/src/cppmain.c
+++ b/src/cppmain.c
@@ -137,6 +137,8 @@ int cppProcess (/*@dependent@*/ cstring infile,
 
       if (!opts->no_output)
        {
+         DPRINTF (("Writing: %s", cstring_copyLength (g_cppState.token_buffer, cpplib_getWritten (&g_cppState))));
+
          (void) fwrite (g_cppState.token_buffer, (size_t) 1,
                         cpplib_getWritten (&g_cppState), ofile);
        }