Update Windows.yml

Author: NikolajBjorner

.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