X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/210066f9dd04de7d7d2f04d320b39a52f28b290b..HEAD:/configure.ac

diff --git a/configure.ac b/configure.ac
index 366916a..515e60c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,7 +1,7 @@
 dnl Process with autoconf to create a configure script  -*- Autoconf -*-
 AC_PREREQ(2.50)
 
-AC_INIT([Splint], [3.1.1.2], [splint-bug@splint.org], [splint])
+AC_INIT([Splint], [3.1.2], [splint-bug@splint.org], [splint])
 
 dnl This MUST precede any other macro
 AC_CONFIG_AUX_DIR([config])