From: bpringlemeir <bpringlemeir>
Date: Fri, 29 Jan 2010 00:13:42 +0000 (+0000)
Subject: Fix debug
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/98c34808b10bb83fab6385b762578efb271f02a5

Fix debug
---

diff --git a/src/cpplib.c b/src/cpplib.c
index b054f61..a7a4770 100644
--- 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. */