Fix debug

[splint.git] / src / cpplib.c

diff --git a/src/cpplib.c b/src/cpplib.c
index b054f61f3631c61cb49803646fdb8e42f6e3fcb9..a7a477045b481f0ba30b8ed6edfecdcbff2597f2 100644 (file)
--- a/src/cpplib.c
+++ b/src/cpplib.c
@@ -7412,7 +7412,7 @@ parseMoveMark (struct parse_marker *pmark, cppReader *pfile)
     }
 
   pmark->position = pbuf->cur - pbuf->buf;
-  DPRINTF (("move mark: %s", pmark->position));
+  DPRINTF (("move mark: %d", pmark->position));
 }
 
 void cpplib_initializeReader (cppReader *pfile) /* Must be done after library is loaded. */