noexpand always false.

[splint.git] / LICENSE

diff --git a/LICENSE b/LICENSE
index 0f7ddb8794bc94974201ac9aa2ccb52777c6df17..32d00d9b58183ee405cdc1e80d38fb2a63a51c6e 100644 (file)
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,9 @@
-LCLint - annotation-assisted static program checker
-Copyright (C) 1994-2000 University of Virginia, 
-                        Massachusetts Institute of Technology
+         Splint - annotation-assisted static program checker
+                        http://www.splint.org
+
+                       Copyright (C) 1994-2007
+                       University of Virginia,
+                Massachusetts Institute of Technology
 
 This program is free software; you can redistribute it and/or modify it
 under the terms of the GNU General Public License as published by the
@@ -16,9 +19,8 @@ The GNU General Public License is attached to this file and available
 from http://www.gnu.org/ or the Free Software Foundation, Inc., 59
 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 
-For information on lclint: lclint-request@cs.virginia.edu
-To report a bug: lclint-bug@cs.virginia.edu
-http://lclint.cs.virginia.edu
+For information on Splint: splint@cs.virginia.edu
+To report a bug: splint-bug@cs.virginia.edu
 
 ==============================================================================
                    GNU GENERAL PUBLIC LICENSE