Fixed problem with NULL being changed.

[splint.git] / README

diff --git a/README b/README
index 51f7ecee3903bfedd5103a4b408ef4cb070d5595..2b0c69933e8d0da6bc4035477600589ed0a3cadf 100644 (file)
--- a/README
+++ b/README
@@ -1,12 +1,12 @@
          Splint - annotation-assisted static program checker
                         http://www.splint.org
 
-                       Copyright (C) 1994-2002
+                       Copyright (C) 1994-2003
                        University of Virginia,
                 Massachusetts Institute of Technology
                 
-                           Version 3.0.1.7
-                            25 March 2001
+                            Version 3.1.0
+                            12 April 2003
 
 Splint Documentation
 ====================