From 0eae65388008dbfafc0287873bfb4c8819582183 Mon Sep 17 00:00:00 2001
From: Yulei Sui <7608399+yuleisui@users.noreply.github.com>
Date: Mon, 27 May 2024 16:01:11 +1000
Subject: [PATCH] Update CMakeLists.txt

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e41da5aff..cc5cb2cea 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,7 +1,7 @@
 cmake_minimum_required(VERSION 3.23)
 
 project(SVF
-  VERSION 3.0
+  VERSION 3.1
   DESCRIPTION "SVF is a static value-flow analysis tool for LLVM-based languages"
   HOMEPAGE_URL "https://github.com/SVF-tools/SVF"
   LANGUAGES C CXX