Fixed declarations of inptr_t and uintptr_t.

[splint.git] / src / fileloc.c

diff --git a/src/fileloc.c b/src/fileloc.c
index ad82ba5551a3cb196bd88b275d9c2813a7f7ce68..0c6cb2f6c734f918764c885f51a9e9bb9f0690e3 100644 (file)
--- a/src/fileloc.c
+++ b/src/fileloc.c
@@ -26,7 +26,7 @@
 */
 /*
  * Modified by Herbert 04/19/97:
- * - added new include file portab.h.
+ * - added new include file portab.h (now in osd.h)
  * - added new private function fileloc_filenameForCpp() to handle
  *   filenames belonging to "#line" statements for OS/2 and MSDOS. It
  *   gets called by fileloc_lineMarker() and fileloc_previousLineMarker()
@@ -36,7 +36,6 @@
 # include "splintMacros.nf"
 # include "basic.h"
 # include "osd.h"
-# include "portab.h"
 
 static /*@only@*/ fileloc fileloc_createPrim (flkind p_kind, fileId p_fid, int p_line, int p_col) /*@*/ ;
 
@@ -89,7 +88,7 @@ fileloc_decColumn (fileloc f, int x)
 
   if (x > 0 && fileloc_isDefined (ret))
     {
-      llassertprint (ret->column > x, ("decColumn: %d", x));
+      llassertprint (ret->column > x, ("decColumn %s: %d", fileloc_unparse (f), x));
       ret->column -= x;
     }