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