From 206d7709d335991826bb7dd4c607f58aa9507c38 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 15 Jun 2021 12:25:03 -0500
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index aa16bd433..f9fad4f46 100644
--- a/README.md
+++ b/README.md
@@ -44,6 +44,8 @@ cd build
 nmake
 ```
 
+Z3 uses C++17. The recommended version of Visual Studio is therefore VS2019. 
+
 ## Building Z3 using make and GCC/Clang
 
 Execute: