Remove unused cpplib_createDefinition.

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

diff --git a/test/db3/employee.h b/test/db3/employee.h
index 6489fbab4dafe3b0da874cf3e8f4110b97409dfc..acdd3352d64ccce42f3adc8b163fc4bf8fb89b52 100644 (file)
--- a/test/db3/employee.h
+++ b/test/db3/employee.h
@@ -1,7 +1,7 @@
 # ifndef EMPLOYEE_H
 # define EMPLOYEE_H
 
-# define maxEmployeeName ((size_t) 20)
+# define maxEmployeeName   ((size_t) 20)
 # define employeePrintSize (63)
 
 /*@notfunction@*/
@@ -10,5 +10,9 @@
 
 # include "employee.lh"
 
+/*@-incondefs@*/ /*@-redecl@*/
+extern bool employee_setName (/*@special@*/ employee *p_e, char  /* na */[]) /*@sets p_e->name@*/;
+/*@=incondefs@*/ /*@=redecl@*/
+
 # define employee_initMod()  bool_initMod()
 # endif