From 6fb358a432ef411341cc18202a52da749dbd76f5 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 28 Oct 2016 13:45:10 +0100
Subject: [PATCH] Build fix for libz3.vcxproj.

---
 scripts/mk_util.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 0fac30e35..84931b47e 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -3076,6 +3076,11 @@ def mk_vs_proj_property_groups(f, name, target_ext, type):
     f.write('    <CharacterSet>Unicode</CharacterSet>\n')
     f.write('    <UseOfMfc>false</UseOfMfc>\n')
     f.write('  </PropertyGroup>\n')
+    f.write('  <PropertyGroup Condition="\'$(Configuration)|$(Platform)\'==\'Release|Win32\'" Label="Configuration">\n')
+    f.write('    <ConfigurationType>%s</ConfigurationType>\n' % type)
+    f.write('    <CharacterSet>Unicode</CharacterSet>\n')
+    f.write('    <UseOfMfc>false</UseOfMfc>\n')
+    f.write('  </PropertyGroup>\n')
     f.write('  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />\n')
     f.write('  <ImportGroup Label="ExtensionSettings" />\n')
     f.write('   <ImportGroup Label="PropertySheets">\n')