*** empty log message ***

[splint.git] / test / cast.lcs

diff --git a/test/cast.lcs b/test/cast.lcs
index 79b7dfada99e4b3b21fa22e81213853260a05a67..75b8331e1f47a9ef39635ef6681a4cbf784efdc8 100644 (file)
--- a/test/cast.lcs
+++ b/test/cast.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