]> andersk Git - splint.git/blobdiff - test/db3/employee.lcs
Merged with Dave Evans's changes.
[splint.git] / test / db3 / employee.lcs
index bc40d2e818af197de668f1f5b9d65fcc7740ee60..5bfdbd918530bca6bae5962ab26983c5f6bac2d4 100644 (file)
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 2.5q
+%PASSED Output from LCLint 3.0b-alpha
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil
This page took 0.048119 seconds and 4 git commands to generate.