Small additions to library

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

diff --git a/test/db3/dbase.lcs b/test/db3/dbase.lcs
index 1fa559b6cd194c98b57f80d60289b0d042646461..3deebc3a579c176bceb523ca1215f504d859f657 100644 (file)
--- a/test/db3/dbase.lcs
+++ b/test/db3/dbase.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.12
+%PASSED Output from LCLint 3.0.0.16
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil