Put instruction files from web site into CVS development directory.

[splint.git] / test / null6.lcd

diff --git a/test/null6.lcd b/test/null6.lcd
index cb73b87cd3df51c2a255c3940853207992ceddfb..a97d281d12a33376eb465b7e526bbe976793f639 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -1,6 +1,6 @@
 ;;; Splint Library  null6.lcd
-;;Splint 3.0.1.4 --- 19 Jan 2002
-;;lib:298
+;;Splint 3.0.1.6 --- 11 Feb 2002
+;;lib:299
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39