diff --git a/srcpkgs/z3/patches/fix-gcc6-typecast.patch b/srcpkgs/z3/patches/fix-gcc6-typecast.patch
new file mode 100644
index 0000000000..c8efb782d0
--- /dev/null
+++ b/srcpkgs/z3/patches/fix-gcc6-typecast.patch
@@ -0,0 +1,11 @@
+--- src/util/debug.cpp	2015-10-05 14:07:19.000000000 +0200
++++ src/util/debug.cpp	2016-09-23 09:56:52.501486862 +0200
+@@ -76,7 +76,7 @@
+     for (;;) {
+         std::cerr << "(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB\n";
+         char result;
+-        bool ok = (std::cin >> result);
++        bool ok = static_cast<bool>(std::cin >> result);
+         if (!ok) exit(ERR_INTERNAL_FATAL); // happens if std::cin is eof or unattached.
+         switch(result) {
+         case 'C':
diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index 9d2f86ce54..328d26e653 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -1,7 +1,7 @@
 # Template file for 'z3'
 pkgname=z3
 version=4.4.1
-revision=2
+revision=3
 wrksrc="${pkgname}-${pkgname}-${version}"
 hostmakedepends="python"
 makedepends="libgomp-devel gmp-devel"