]> andersk Git - splint.git/blobdiff - test/db1/employee.lcs
*** empty log message ***
[splint.git] / test / db1 / employee.lcs
index b3571e47e025e276cfededc5297e60e3c8458533..562a1cbca85387f098c8e167d0e85579a681a30c 100644 (file)
@@ -1,4 +1,4 @@
-%PASSED Output from LCLint 3.0.0.8
+%PASSED Output from LCLint 3.0.0.13
 %LCLimports 
 %LCLSortTable
 %LCLsort bool immutable nil nil
This page took 0.053439 seconds and 4 git commands to generate.