From fc5e3cfecd6854068a944fa8e1329300a56e4e1c Mon Sep 17 00:00:00 2001
From: Jason N <cyderize@users.noreply.github.com>
Date: Mon, 31 Aug 2026 12:38:21 +1000
Subject: [PATCH] Sync version number with minizinc

---
 CHANGES.txt    | 3 +++
 CMakeLists.txt | 6 +++---
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/CHANGES.txt b/CHANGES.txt
index bd5bd5b..3bb6c8e 100644
--- a/CHANGES.txt
+++ b/CHANGES.txt
@@ -2,6 +2,9 @@
 # findMUS Changelog #
 ======================
 
+version 2.10.1
+  - Synchronise version number with MiniZInc version.
+
 version 0.7.0
 =============
   - Automatically generate findmus.msc file
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 07ce768..72afcfd 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -23,9 +23,9 @@ include_directories(${minisat_SOURCE_DIR})
 include_directories("include" ${CMAKE_BINARY_DIR})
 
 # The version number.
-set (findMUS_VERSION_MAJOR 0)
-set (findMUS_VERSION_MINOR 7)
-set (findMUS_VERSION_PATCH 0)
+set (findMUS_VERSION_MAJOR 2)
+set (findMUS_VERSION_MINOR 10)
+set (findMUS_VERSION_PATCH 1)
 
 add_library(hiermus
   lib/SubProblem.cpp