Updated libary version number.

[splint.git] / src / Headers / version.h

diff --git a/src/Headers/version.h b/src/Headers/version.h
index 49a4aef886588068b5c83cb28c533a0dd4292ba4..c7c6cd763b190e3d03277dea72bc9afce50b56ad 100644 (file)
--- a/src/Headers/version.h
+++ b/src/Headers/version.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 */
 /*
@@ -14,7 +14,7 @@
 */
 
 /*@constant float SPLINT_LIBVERSION; @*/
-# define SPLINT_LIBVERSION 3.0
+# define SPLINT_LIBVERSION 3.018
 
 /*@constant observer char *SPLINT_MAINTAINER; @*/
 # define SPLINT_MAINTAINER "splint-bug@splint.org"