*** empty log message ***

[splint.git] / test / null6.lcd

diff --git a/test/null6.lcd b/test/null6.lcd
index c4a975f91154593c312b55348611f48da4d015ac..35c5320213365edc202893df003e21e5d51e208c 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -1,5 +1,5 @@
 ;;LCLint Dump: null6.lcd
-;;LCLint 3.0.0.9 --- 23 July 2001
+;;LCLint 3.0.0.12 --- 21 August 2001
 ;;lib:168
 ;;ctTable
 0 u-2 19 38