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