/*
-** 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.
*/
/*
# ifndef VERSION_H
# define VERSION_H
-/*@constant observer char *LCLINT_MAINTAINER; @*/
-# define LCLINT_MAINTAINER "lclint-bug@cs.virginia.edu"
+/*
+** Minimum version with compatible libraries.
+*/
+
+/*@constant float SPLINT_LIBVERSION; @*/
+# define SPLINT_LIBVERSION 3.018
-/*@constant observer char *CPP_VERSION;@*/
-# define CPP_VERSION "cygnus-2.7.2-970404"
+/*@constant observer char *SPLINT_MAINTAINER; @*/
+# define SPLINT_MAINTAINER "splint-bug@splint.org"
# else
# error "Multiple include"