X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6c50dc9249a1abaee3d737a499833718be2e6e0a..b73d1009d4a3494951c129e49f50f8b4c795deb1:/src/Headers/fileLib.h

diff --git a/src/Headers/fileLib.h b/src/Headers/fileLib.h
index cf0462a..5168718 100644
--- a/src/Headers/fileLib.h
+++ b/src/Headers/fileLib.h
@@ -19,7 +19,7 @@ extern cstring fileLib_withoutExtension (cstring p_s, cstring p_suffix) /*@*/ ;
 extern cstring fileLib_removePath (cstring p_s) /*@*/ ;
 extern cstring fileLib_removePathFree (/*@only@*/ cstring p_s) /*@*/ ;
 extern cstring fileLib_removeAnyExtension (cstring p_s) /*@*/ ;
-extern /*@only@*/ cstring fileLib_cleanName (/*@temp@*/ cstring p_s) /*@*/ ;
+extern /*@only@*/ cstring fileLib_cleanName (/*@only@*/ cstring p_s) /*@*/ ;
 extern bool fileLib_hasExtension (cstring p_s, cstring p_ext) /*@*/ ;
 
 extern /*@observer@*/ cstring