X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d1eb0f0ff3093be5a50dfddab2d70e8bc7e7fff5..7ebcc5bb1729918edf2ba5b4b9d5a67cdea4afb5:/src/Headers/uentry.h

diff --git a/src/Headers/uentry.h b/src/Headers/uentry.h
index db199e3..b193d3d 100644
--- a/src/Headers/uentry.h
+++ b/src/Headers/uentry.h
@@ -640,7 +640,7 @@ extern bool uentry_hasBufStateInfo (uentry p_ue);
 extern uentry uentry_makeGlobalMarker (void) ;
 extern bool uentry_isGlobalMarker (uentry) /*@*/ ;
 
-extern /*@exposed@*/ uentry uentry_makeUnrecognized (cstring p_c, /*@keep@*/ fileloc p_loc);
+extern /*@exposed@*/ uentry uentry_makeUnrecognized (cstring p_c, /*@only@*/ fileloc p_loc);
 
 # ifdef DOANNOTS
 typedef enum { AN_UNKNOWN, AN_FCNRETURN, AN_FCNPARAM, AN_SUFIELD, AN_TDEFN, AN_GSVAR,