X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/35b27defdf4f88546cb41fa89dd9d46c38307362..b072092f32623dab70e6ffe1613740542ea66748:/test/null6.lcs diff --git a/test/null6.lcs b/test/null6.lcs index 84ca424..ae317b1 100644 --- a/test/null6.lcs +++ b/test/null6.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0.0.7 +%PASSED Output from LCLint 3.0.0.8 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil