Updated libary version number.

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

diff --git a/src/Headers/version.h b/src/Headers/version.h
index 73105c94f619bae7e0b43f45329764eb60c9ae53..c7c6cd763b190e3d03277dea72bc9afce50b56ad 100644 (file)
--- a/src/Headers/version.h
+++ b/src/Headers/version.h
@@ -14,7 +14,7 @@
 */
 
 /*@constant float SPLINT_LIBVERSION; @*/
-# define SPLINT_LIBVERSION 3.017
+# define SPLINT_LIBVERSION 3.018
 
 /*@constant observer char *SPLINT_MAINTAINER; @*/
 # define SPLINT_MAINTAINER "splint-bug@splint.org"