]> andersk Git - splint.git/blobdiff - test/db1/erc.lh
*** empty log message ***
[splint.git] / test / db1 / erc.lh
index e21113a414a4a5ddbae1144b3d5db9ec40bdeb9d..61716fed622e8c90a75478a2010b9d844af7008b 100644 (file)
@@ -1,4 +1,4 @@
-/* Output from LCLint 3.0.0.13 */
+/* Output from LCLint 3.0.0.16 */
 
 # include "bool.h"
 # include "eref.h"
This page took 0.033616 seconds and 4 git commands to generate.