From dd4088dd252b82eb18379e7d95ecb88e4ea58fba Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 3 Jun 2019 16:15:22 -0700
Subject: [PATCH] update path

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

diff --git a/scripts/mk_win_dist.cmd b/scripts/mk_win_dist.cmd
index b54337252..28f1a86bc 100644
--- a/scripts/mk_win_dist.cmd
+++ b/scripts/mk_win_dist.cmd
@@ -1,4 +1,4 @@
-call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" x64
+call "C:\Programs\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
 
 python scripts\mk_win_dist.py