Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / fileTable.c

diff --git a/src/fileTable.c b/src/fileTable.c
index dee235ea4077aaa709e5732549c6dec6492a3554..0fe22bf20b6cf8d60b4d8288455237a0e2fc7045 100644 (file)
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -48,7 +48,7 @@
 # include <sys/stat.h>
 # include <fcntl.h>
 # include "splintMacros.nf"
-# include "llbasic.h"
+# include "basic.h"
 # include "osd.h"
 # include "llmain.h"
 # include "portab.h"
@@ -328,7 +328,6 @@ fileTable_addFilePrim (fileTable ft, /*@temp@*/ cstring name,
   cstring absname = osd_absolutePath (NULL, name);
   int tindex = fileTable_getIndex (ft, absname);
   
-  /*@i534 fprintf (stderr, "Got abs path: %s", absname); */
   llassert (ft != fileTable_undefined);
 
   if (tindex != NOT_FOUND)