From 5cee19fa09555323f1b82baf8038cfdb858e6ee6 Mon Sep 17 00:00:00 2001
From: "Kirill A. Korinsky" <kirill@korins.ky>
Date: Mon, 21 Oct 2024 05:00:36 +0200
Subject: [PATCH] It uses C++20 BTW (#7429)

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5350bc38bdc..00e5acf71a1 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ cd build
 nmake
 ```
 
-Z3 uses C++17. The recommended version of Visual Studio is therefore VS2019. 
+Z3 uses C++20. The recommended version of Visual Studio is therefore VS2019. 
 
 ## Building Z3 using make and GCC/Clang