fix string

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 19, 2023 · 394a355 · 394a355
1 parent 9469f75
commit 394a355
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
@@ -37,7 +37,7 @@ jobs:
         run: ${{ matrix.cmd3 }}  
       - name: Setup Visual Studio environment
         run: |
-          cmd /c ""C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ 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