Fixed the readme file based on the information on the web page.

[splint.git] / test / tests2.5 / newlint.lcd

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index 6ccc045e39662299a03c04ccc131a4c40b8b151d..a921ab01d38ee5b830a6a6ad283ddde09694ce67 100644 (file)
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1,5 +1,5 @@
 ;;; Splint Library  newlint.lcd
-;;Splint 3.0.1 --- 06 Jan 2002
+;;Splint 3.0.1.1 --- 07 Jan 2002
 ;;lib:298
 ;;ctTable
 0 u-2 19 38