Finshed basic merge. Still trying to get it through the test suit.

[splint.git] / src / fileTable.c

diff --git a/src/fileTable.c b/src/fileTable.c
index 4b16a2d80189edac8b368746df92c8f6b213d47f..f66bbd3fb177c363a6148af8825cfe4425ef06bb 100644 (file)
--- a/src/fileTable.c
+++ b/src/fileTable.c
@@ -170,7 +170,7 @@ ftentry_create (/*@keep@*/ cstring tn, bool temp, fileType typ, fileId der)
   t->fsystem = FALSE;
   t->fspecial = FALSE;
 
-      return t;
+  return t;
 }
 
 static void
@@ -229,7 +229,6 @@ fileTable_internAddEntry (fileTable ft, /*@only@*/ ftentry e)
   ft->elements[ft->nentries] = e;
 
   ft->nentries++;
-
   return (ft->nentries - 1);
 }
 
@@ -262,7 +261,7 @@ fileTable_addFilePrim (fileTable ft, /*@only@*/ cstring name,
   else
     {
       ftentry e = ftentry_create (name, temp, typ, der);
-      
+
       if (der == fileId_invalid)
        {
          llassert (cstring_isUndefined (e->basename));
@@ -324,7 +323,6 @@ fileTable_addFileOnly (fileTable ft, /*@only@*/ cstring name)
 fileId
 fileTable_addHeaderFile (fileTable ft, cstring name)
 {
-  DPRINTF (("Add header: %s", name));
   return (fileTable_addFilePrim (ft, cstring_copy (name), FALSE, 
                                 FILE_HEADER, fileId_invalid));
 }