*** empty log message ***

[splint.git] / test / db2 / employee.h

diff --git a/test/db2/employee.h b/test/db2/employee.h
index b63261219110c1b2279e02e486c4e768b391466d..99372e0910324deb9aade77279d6b2aa15e00e4b 100644 (file)
--- a/test/db2/employee.h
+++ b/test/db2/employee.h
@@ -7,5 +7,9 @@
 
 # include "employee.lh"
 
+/* Override the definition in employee.lh (can't put this in .lcl) */
+/*@-incondefs@*/ /*@-redecl@*/ /*@-protoparammatch@*/
+extern bool employee_setName (/*@special@*/ employee *p_e, char  /* na */[]) /*@defines p_e->name@*/;
+/*@=incondefs@*/ /*@=redecl@*/ /*@=protoparammatch@*/
 # define employee_initMod()  bool_initMod()
 # endif