# 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"
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)
}
else if (fileId_isValid (fe->fder))
{
- /*@i423 this should use close (fd) also... */
+ /* this should use close (fd) also... */
(void) osd_unlink (fe->fname);
}
else if (fe->ftype == FILE_MACROS)