From f4474a3edb0e56f11d1e45e4318b2c7256306811 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 4 Feb 2024 20:30:56 -0800
Subject: [PATCH] typo

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/mk_win_dist_cmake.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_win_dist_cmake.py b/scripts/mk_win_dist_cmake.py
index e3f874d57..fa5358621 100644
--- a/scripts/mk_win_dist_cmake.py
+++ b/scripts/mk_win_dist_cmake.py
@@ -195,7 +195,7 @@ def mk_build_dir(arch):
     build_path = get_build_dir(arch)
     if not check_build_dir(build_path) or FORCE_MK:
         mk_dir(build_path)
-        vsarch = arc
+        vsarch = arch
         if arch == "arm64":
             vsarch = "amd64_arm64"