From 2c2852a7bd4e1f900ac388717fc21a8288d7597e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= <pullmoll@t-online.de>
Date: Mon, 27 Jan 2020 14:02:10 +0100
Subject: [PATCH] z3: enable build for i686

---
 srcpkgs/z3/template | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/srcpkgs/z3/template b/srcpkgs/z3/template
index 3585e9cd90e..d7b9058096c 100644
--- a/srcpkgs/z3/template
+++ b/srcpkgs/z3/template
@@ -27,10 +27,6 @@ if [ -z "$CROSS_BUILD" ]; then
 	build_options_default="ocaml"
 fi
 
-case "$XBPS_TARGET_MACHINE" in
-	i686*) broken="Error: Integer literal exceeds the range of representable integers of type int" ;;
-esac
-
 post_install() {
 	vbin build/z3_tptp
 	vbin build/maxsat