X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b072092f32623dab70e6ffe1613740542ea66748..11db3170da99e22aa0acea76debd6c7b590a629c:/test/db1/dbase.lcs?ds=sidebyside

diff --git a/test/db1/dbase.lcs b/test/db1/dbase.lcs
index 041e4d5..910bc71 100644
--- a/test/db1/dbase.lcs
+++ b/test/db1/dbase.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.8
+%PASSED Output from Splint 3.0.0.20
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil