Added checking for union initializers.

[splint.git] / LICENSE

diff --git a/LICENSE b/LICENSE
index 0f7ddb8794bc94974201ac9aa2ccb52777c6df17..c6b3ba1b9023a1660686c4ca40190e8b2e9276e3 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-2002
+                       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
@@ -18,7 +21,6 @@ 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
 
 ==============================================================================
                    GNU GENERAL PUBLIC LICENSE