*** empty log message ***

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

diff --git a/test/db3/employee.lcs b/test/db3/employee.lcs
index 6af2f768e6f16e0ee52319293c0e5085bff8d52d..6203f2bc0092265c38d44009e9a50c6a8287f02b 100644 (file)
--- a/test/db3/employee.lcs
+++ b/test/db3/employee.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.12
+%PASSED Output from LCLint 3.0.0.13
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil