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