Updated libary version number.

[splint.git] / LICENSE

diff --git a/LICENSE b/LICENSE
index c6b3ba1b9023a1660686c4ca40190e8b2e9276e3..581403c6f6b43e4109a99a3710468d4f3505c352 100644 (file)
--- a/LICENSE
+++ b/LICENSE
@@ -19,8 +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
+For information on Splint: splint@cs.virginia.edu
+To report a bug: splint-bug@cs.virginia.edu
 
 ==============================================================================
                    GNU GENERAL PUBLIC LICENSE