From 7df439c8143b658224a18dee6af08791413a8a12 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 12 Jun 2020 02:55:36 -0700
Subject: [PATCH] change version to 1.0

Summary: Let's go!

Reviewed By: ngorogiannis

Differential Revision: D21998485

fbshipit-source-id: c213bf255
---
 configure.ac | 6 +++---
 opam         | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/configure.ac b/configure.ac
index 7a4ffd927..22bdf8af1 100644
--- a/configure.ac
+++ b/configure.ac
@@ -12,14 +12,14 @@ AC_PREREQ([2.63])
 # - the values below
 # - opam
 AC_INIT([Infer],
-        [0.17.0],
+        [1.0.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=17
+INFER_MAJOR=1
+INFER_MINOR=0
 INFER_PATCH=0
 
 AC_SUBST([INFER_MAJOR])
diff --git a/opam b/opam
index c770d1f10..6366df82b 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "infer"
-version: "0.17.0"
+version: "1.0.0"
 synopsis: "A static analyzer for Java, C, C++, and Objective-C"
 maintainer: "the infer team"
 authors: "Facebook"