X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11ed4f45e321c24d9340dc277c54e1d2c9cd0046..a0a162cdc5db4d998824629e9f4d370b9b68df56:/test/db3/bool.lcs diff --git a/test/db3/bool.lcs b/test/db3/bool.lcs index 7462329..a5070ac 100644 --- a/test/db3/bool.lcs +++ b/test/db3/bool.lcs @@ -1,4 +1,4 @@ -%PASSED Output from LCLint 2.5m +%PASSED Output from LCLint 2.5q %LCLimports %LCLSortTable %LCLsort bool immutable nil nil