*** empty log message ***

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

diff --git a/test/db1/employee.lcs b/test/db1/employee.lcs
index d6acf52124c1f5a5a1eef5b166eadbe9d4925003..562a1cbca85387f098c8e167d0e85579a681a30c 100644 (file)
--- a/test/db1/employee.lcs
+++ b/test/db1/employee.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.7
+%PASSED Output from LCLint 3.0.0.13
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil