From 2e1221b1b4e705135941931701caed641e5eb6dd Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 20 Feb 2017 18:06:18 -0800
Subject: [PATCH] chore(CMakeLists): bump version number

---
 .appveyor.yml      | 2 +-
 .travis.yml        | 4 ++--
 src/CMakeLists.txt | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.appveyor.yml b/.appveyor.yml
index e5a4c99d5b..0ea9cb1fc8 100644
--- a/.appveyor.yml
+++ b/.appveyor.yml
@@ -14,7 +14,7 @@ test_script:
   - C:\msys64\usr\bin\bash -lc "exec 0</dev/null && cd $APPVEYOR_BUILD_FOLDER/build && ctest -j4"
 
 artifacts:
-  - path: build\lean-3.0.0-windows.zip
+  - path: build\lean-3.1.0-windows.zip
     name: binary
 
 deploy:
diff --git a/.travis.yml b/.travis.yml
index 101fb61631..cfab4142c6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -24,7 +24,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=g++-4.9
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.0.0-linux.tar.gz
+       TARGET=build/lean-3.1.0-linux.tar.gz
        UPLOAD=ON
        STATIC=ON
 
@@ -78,7 +78,7 @@ matrix:
      env:
        CMAKE_CXX_COMPILER=clang++
        CMAKE_BUILD_TYPE=Release
-       TARGET=build/lean-3.0.0-darwin.zip
+       TARGET=build/lean-3.1.0-darwin.zip
        UPLOAD=ON
        PACKAGE=TRUE
 
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 7618dd7bee..3e40d91e9c 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -1,7 +1,7 @@
 cmake_minimum_required(VERSION 2.8.7)
 project(LEAN CXX C)
 set(LEAN_VERSION_MAJOR 3)
-set(LEAN_VERSION_MINOR 0)
+set(LEAN_VERSION_MINOR 1)
 set(LEAN_VERSION_PATCH 0)
 
 set(LEAN_EXTRA_LINKER_FLAGS "")