diff --git a/configure.ac b/configure.ac index 1631621d4..2a1cf2c50 100644 --- a/configure.ac +++ b/configure.ac @@ -15,14 +15,14 @@ AC_PREREQ([2.63]) # - opam # - docker/Dockerfile AC_INIT([Infer], - [0.13.0], + [0.14.0], [https://github.com/facebook/infer/issues/]) AC_CONFIG_SRCDIR([infer/src/istd/IStd.ml]) # WARNING: keep in sync with above INFER_MAJOR=0 -INFER_MINOR=13 +INFER_MINOR=14 INFER_PATCH=0 AC_SUBST([INFER_MAJOR]) diff --git a/opam b/opam index 4fa4df687..9762f03cf 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "infer" -version: "0.13.0" +version: "0.14.0" maintainer: "opam-devel@lists.ocaml.org" authors: "Facebook" homepage: "https://github.com/facebook/infer"