X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/6fcd0b1e01252139211d34a4476d377cf6e5f37a..7c080eade639d7a6be478159025ca125e2d3ee06:/src/Headers/version.h diff --git a/src/Headers/version.h b/src/Headers/version.h index 49a4aef..c7c6cd7 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. */ /* @@ -14,7 +14,7 @@ */ /*@constant float SPLINT_LIBVERSION; @*/ -# define SPLINT_LIBVERSION 3.0 +# define SPLINT_LIBVERSION 3.018 /*@constant observer char *SPLINT_MAINTAINER; @*/ # define SPLINT_MAINTAINER "splint-bug@splint.org"