From 9469f7574a60ec7185afc6665978387e29d60ee2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Dec 2023 20:26:39 -0800
Subject: [PATCH] Update Windows.yml

---
 .github/workflows/Windows.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index a1eb9c89a..4c3ef50a6 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -37,8 +37,7 @@ jobs:
         run: ${{ matrix.cmd3 }}  
       - name: Setup Visual Studio environment
         run: |
-          $vcvarsall = "C:\\Program Files (x86)\\Microsoft Visual Studio\\2019\\Community\\VC\\Auxiliary\\Build\\vcvarsall.bat"
-          cmd /c "$vcvarsall" ${{ matrix.arch }}            
+          cmd /c ""C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}            
       - name: configure
         run: cmake ${{ matrix.bindings }} -G "NMake Makefiles" ../
       - name: make