]> andersk Git - splint.git/blobdiff - src/fileLib.c
Removed .lh .lcs .lcd files in test directory from distribution tar ball as suggested...
[splint.git] / src / fileLib.c
index a33141642994b47e346f6e9a4e223c0d4b772b86..b2b04f05f3bd2002414da80cbbbd80ea50b8972d 100644 (file)
@@ -17,8 +17,8 @@
 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
 ** MA 02111-1307, USA.
 **
-** For information on splint: splint@cs.virginia.edu
-** To report a bug: splint-bug@cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
 ** For more information: http://www.splint.org
 */
 /*
@@ -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);
 }
This page took 3.766296 seconds and 4 git commands to generate.