*** empty log message ***

[splint.git] / test / impabstract.lcs

diff --git a/test/impabstract.lcs b/test/impabstract.lcs
index bd854429e628f6eff23667ffb87aaa7e8d063690..adbec4d4b1f0c2131714de8319bdfd12c9deef53 100644 (file)
--- a/test/impabstract.lcs
+++ b/test/impabstract.lcs
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.12
+%PASSED Output from LCLint 3.0.0.13
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil