From 203941b8e8314499dd92da7756edf4f5ae6f42b8 Mon Sep 17 00:00:00 2001 From: "Kirill A. Korinsky" Date: Sun, 20 Oct 2024 20:53:59 +0200 Subject: [PATCH] It uses C++20 BTW --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5350bc38b..00e5acf71 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