Updated libary version number.

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

diff --git a/src/Headers/version.h b/src/Headers/version.h
index 458aebe1a7c9998510272561c3f044e82e571730..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.
 */
 /*
@@ -9,6 +9,13 @@
 # ifndef VERSION_H
 # define VERSION_H
 
+/*
+** Minimum version with compatible libraries.
+*/
+
+/*@constant float SPLINT_LIBVERSION; @*/
+# define SPLINT_LIBVERSION 3.018
+
 /*@constant observer char *SPLINT_MAINTAINER; @*/
 # define SPLINT_MAINTAINER "splint-bug@splint.org"