Index: head/math/py-z3-solver/Makefile
===================================================================
--- head/math/py-z3-solver/Makefile	(revision 492624)
+++ head/math/py-z3-solver/Makefile	(revision 492625)
@@ -1,25 +1,28 @@
 # $FreeBSD$
 
 PORTNAME=	z3-solver
 DISTVERSIONPREFIX=	z3-
-DISTVERSION=	4.7.1
+DISTVERSION=	4.8.4
 CATEGORIES=	math
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Python binding for Z3 Theorem Prover
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt
 
 # CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
 
 USES=		compiler:c++11-lang python
 USE_GITHUB=	yes
 GH_ACCOUNT=	Z3Prover
 GH_PROJECT=	z3
 USE_PYTHON=	distutils autoplist
 
 WRKSRC_SUBDIR=	src/api/python
+
+post-patch: # https://github.com/Z3Prover/z3/issues/2131
+	@${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h
 
 .include <bsd.port.mk>
Index: head/math/py-z3-solver/distinfo
===================================================================
--- head/math/py-z3-solver/distinfo	(revision 492624)
+++ head/math/py-z3-solver/distinfo	(revision 492625)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1529241358
-SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7
-SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416
+TIMESTAMP = 1549820977
+SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601
+SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081