*** empty log message ***

[splint.git] / src / Headers / structNames.h

diff --git a/src/Headers/structNames.h b/src/Headers/structNames.h
index 43d4d4a232de8b357e64434817c574ddeb18d7a3..b8ca4784053059eb3278400a3caf37dc63bb3acb 100644 (file)
--- a/src/Headers/structNames.h
+++ b/src/Headers/structNames.h
@@ -7,11 +7,12 @@ extern /*@only@*/ cstring makeEnum(cstring p_s);
 extern /*@only@*/ cstring makeParam (cstring p_s);
 
 extern void setTagNo (unsigned int p_n);
-extern bool isFakeTag (cstring p_s);
+extern bool isFakeTag (cstring p_s) /*@*/ ;
 
 extern /*@only@*/ cstring fakeTag (void);
 extern /*@only@*/ cstring fixTagName (cstring p_s);
 extern /*@observer@*/ cstring fixParamName (cstring p_s);
+extern /*@observer@*/ cstring plainTagName (cstring p_s) /*@*/ ;
 
 # else
 # error "Multiple include"