Committed my changes (but there are several splintme errors currently).

[splint.git] / src / fileLib.c

diff --git a/src/fileLib.c b/src/fileLib.c
index dfda85ef80a19280f038072f23ecd2d72d7fc837..b2b04f05f3bd2002414da80cbbbd80ea50b8972d 100644 (file)
--- a/src/fileLib.c
+++ b/src/fileLib.c
@@ -73,7 +73,6 @@ fileLib_isLCLFile (cstring s)
   /*@noaccess cstring@*/
 }
 
-# ifndef NOLCL
 /*@only@*/ cstring fileLib_removePath (cstring s)
 {
   /*@access cstring@*/
@@ -89,7 +88,6 @@ fileLib_isLCLFile (cstring s)
   else return (mstring_copy (t + 1));
   /*@noaccess cstring@*/
 }
-# endif
 
 /*@only@*/ cstring
 fileLib_removePathFree (/*@only@*/ cstring s)
@@ -225,7 +223,5 @@ cstring fileLib_cleanName (cstring s)
       return cstring_copySegment (s, 2, cstring_length (s) - 1);
     }
 
-
-
   return cstring_copy (s);
 }