From 6edf2f10571470317df08a7bd5edf7e8fb3399b2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 25 Jan 2026 20:11:55 -0800
Subject: [PATCH] remove outdated version of cmake

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 cmake/modules/FindDotnet.cmake | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cmake/modules/FindDotnet.cmake b/cmake/modules/FindDotnet.cmake
index be328345f..c73cbd605 100644
--- a/cmake/modules/FindDotnet.cmake
+++ b/cmake/modules/FindDotnet.cmake
@@ -109,9 +109,9 @@
 #                  [XML_INJECT xml_injection])
 # ```
 # 
-# Require 3.5 for batch copy multiple files
+# Require 3.10 for batch copy multiple files
 
-cmake_minimum_required(VERSION 3.5.0)
+cmake_minimum_required(VERSION 3.10.0)
 
 IF(DOTNET_FOUND)
     RETURN()