From 54c6b1162154e863e75b4748c9356aa310c540f4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Mar 2025 11:47:32 -0800
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 35d6fc894..8f08e7eba 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 # Z3
 
 Z3 is a theorem prover from Microsoft Research. 
-It is licensed under the [MIT license](LICENSE.txt).
+It is licensed under the [MIT license](LICENSE.txt). Windows binary distributions include [C++ runtime redistributables](https://visualstudio.microsoft.com/license-terms/vs2022-cruntime/)
 
 If you are not familiar with Z3, you can start [here](https://github.com/Z3Prover/z3/wiki#background).