X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/206c5b0ffa51d0e77856156a60df89695dfe61b8..11db3170da99e22aa0acea76debd6c7b590a629c:/test/abst_t.lcs

diff --git a/test/abst_t.lcs b/test/abst_t.lcs
index 285ccaf..a514585 100644
--- a/test/abst_t.lcs
+++ b/test/abst_t.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.19
+%PASSED Output from Splint 3.0.0.20
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil