Updated libary version number.

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

diff --git a/src/Headers/version.h b/src/Headers/version.h
index 9f5096df44a2ec78b791300a53d1f9ba34c2ac2c..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,11 +9,15 @@
 # ifndef VERSION_H
 # define VERSION_H
 
-/*@constant observer char *SPLINT_MAINTAINER; @*/
-# define SPLINT_MAINTAINER "splint-bug@cs.virginia.edu"
+/*
+** Minimum version with compatible libraries.
+*/
 
-/*@constant observer char *CPP_VERSION;@*/
-# define CPP_VERSION "cygnus-2.7.2-970404"
+/*@constant float SPLINT_LIBVERSION; @*/
+# define SPLINT_LIBVERSION 3.018
+
+/*@constant observer char *SPLINT_MAINTAINER; @*/
+# define SPLINT_MAINTAINER "splint-bug@splint.org"
 
 # else
 # error "Multiple include"