From d9beb9e15a77794be708e8b5664f802f9fc0d01b Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 20 Nov 2015 09:57:05 +0100
Subject: [PATCH] Windows build fix

---
 scripts/mk_win_dist.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
index cbde7206f..a82666f2f 100644
--- a/scripts/mk_win_dist.py
+++ b/scripts/mk_win_dist.py
@@ -189,7 +189,7 @@ def mk_dist_dir():
 def get_dist_path(x64):
     return get_z3_name(x64)
 
-def mk_zip(x64):
+def mk_zip_core(x64):
     dist_path = get_dist_path(x64)
     old = os.getcwd()
     try: