From 733083c3bb6700b70ff31c3a679d519f493b680f Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Fri, 19 Jun 2020 12:02:20 -0700 Subject: [PATCH] Update version information post 1.8 release (#4635) --- CMakeLists.txt | 2 +- INSTALL.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index e4d4aaeda..a44805482 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -6,7 +6,7 @@ cmake_minimum_required(VERSION 3.2) project(cvc4) set(CVC4_MAJOR 1) # Major component of the version of CVC4. -set(CVC4_MINOR 8) # Minor component of the version of CVC4. +set(CVC4_MINOR 9) # Minor component of the version of CVC4. set(CVC4_RELEASE 0) # Release component of the version of CVC4. # Extraversion component of the version of CVC4. diff --git a/INSTALL.md b/INSTALL.md index 0c78e9fb1..bf3a20ed2 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -1,5 +1,5 @@ -CVC4 release version 1.8 -======================== +CVC4 prerelease version 1.9 +=========================== ## Building CVC4 -- 2.30.2