*** empty log message ***

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

diff --git a/test/db1/dbase.lcs b/test/db1/dbase.lcs
index 2990998b7bf6555fdec4a1ea1218be5bf1048a5f..fd3653c93a1daafcef69eacfc9dac7e21f7fd17a 100644 (file)
--- a/test/db1/dbase.lcs
+++ b/test/db1/dbase.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.9
+%PASSED Output from LCLint 3.0.0.12
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil