X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6e5d6478b093ecb6281537208c53ca4a03ca5b22..f2b6724f9fdd443cbb7cd7db1ddd31c4c54fa5cf:/test/alias3.lcs diff --git a/test/alias3.lcs b/test/alias3.lcs index 886b2a4..049a491 100644 --- a/test/alias3.lcs +++ b/test/alias3.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 3.0.0.7 +%PASSED Output from Splint 3.0.0.20 %LCLimports %LCLSortTable %LCLsort bool immutable nil nil