Merged this branch with the one in the splint.sf.net repository.

[splint.git] / test / null6.lcd

diff --git a/test/null6.lcd b/test/null6.lcd
index fd64ea612b84fcd8119e75fe2d410479d1c3288b..cadfed2fa83e84da25695ec01984dd216f1f2317 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -1,6 +1,6 @@
 ;;; Splint Library  null6.lcd
-;;Splint 3.0.1.7 --- 28 Mar 2002
-;;lib:299
+;;Splint 3.0.1.7 --- 26 Jul 2002
+;;lib:302
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39