From 459189a3513fa0babbbed4c237f47ae29beb1d30 Mon Sep 17 00:00:00 2001
From: rpointel <rpointel@openbsd.org>
Date: Mon, 18 Jun 2018 08:15:11 +0000
Subject: [PATCH] update z3 to 4.7.1. ok benoit@.

---
 math/z3/Makefile | 4 ++--
 math/z3/distinfo | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/math/z3/Makefile b/math/z3/Makefile
index e5ffd39b169..16746e4600a 100644
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@@ -1,8 +1,8 @@
-# $OpenBSD: Makefile,v 1.5 2018/04/10 08:17:38 rpointel Exp $
+# $OpenBSD: Makefile,v 1.6 2018/06/18 08:15:11 rpointel Exp $
 
 COMMENT =	z3 theorem prover
 
-VERSION =	4.6.0
+VERSION =	4.7.1
 DISTNAME =	z3-${VERSION}
 
 GH_ACCOUNT =	Z3Prover
diff --git a/math/z3/distinfo b/math/z3/distinfo
index 78a13056b2b..528a1a9e1dc 100644
--- a/math/z3/distinfo
+++ b/math/z3/distinfo
@@ -1,2 +1,2 @@
-SHA256 (z3-4.6.0.tar.gz) = UR2jHR+YXPDHmy3gW9pOBXNxulGXadFUb/ceEwT+U8k=
-SIZE (z3-4.6.0.tar.gz) = 3987830
+SHA256 (z3-4.7.1.tar.gz) = o1Pj2gDNr/0lgFLMFAbvyFRgaFUiKrS/1WecWK9cEcc=
+SIZE (z3-4.7.1.tar.gz) = 4015416