X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1b8ae6904556859bbe91aadf35b8adcc1a0611ce..f6099dac655d3fc5409f54302dd3b5c1b6be6ac6:/src/Headers/version.h

diff --git a/src/Headers/version.h b/src/Headers/version.h
index 9f5096d..73105c9 100644
--- 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.017
+
+/*@constant observer char *SPLINT_MAINTAINER; @*/
+# define SPLINT_MAINTAINER "splint-bug@splint.org"
 
 # else
 # error "Multiple include"