diff --git a/configure.ac b/configure.ac index 4862f80cc..1ca49cc49 100644 --- a/configure.ac +++ b/configure.ac @@ -15,7 +15,7 @@ AC_PREREQ([2.63]) # - opam # - docker/Dockerfile AC_INIT([Infer], - [0.9.4], + [0.10.0], [https://github.com/facebook/infer/issues/]) # this has to happen just after AC_INIT() because later macros may mess with the arguments passed to @@ -26,8 +26,8 @@ AC_CONFIG_SRCDIR([infer/src/IR/Sil.re]) # WARNING: keep in sync with above INFER_MAJOR=0 -INFER_MINOR=9 -INFER_PATCH=4 +INFER_MINOR=10 +INFER_PATCH=0 AC_SUBST([INFER_MAJOR]) AC_SUBST([INFER_MINOR]) diff --git a/opam b/opam index 28861d592..f8e99640a 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "infer" -version: "0.9.4" +version: "0.10.0" maintainer: "opam-devel@lists.ocaml.org" authors: "Facebook" homepage: "https://github.com/facebook/infer" diff --git a/package.json b/package.json index 211cc72ff..45fe510df 100644 --- a/package.json +++ b/package.json @@ -1,5 +1,5 @@ { - "version": "0.9.4", + "version": "0.10.0", "description": "infer", "exportedEnvVars": { "FINDLIB": {