Update description

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 97c360b93045..21788623e265 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 # Generated by mksrcinfo v8
-# Sun Nov 20 05:19:29 UTC 2016
+# Sun Nov 20 05:21:18 UTC 2016
 pkgbase = z3-bin
-	pkgdesc = An automatic theorem prover
+	pkgdesc = An automatic high-performance theorem prover
 	pkgver = 4.5.0
 	pkgrel = 1
 	url = http://research.microsoft.com/en-us/um/redmond/projects/z3
diff --git a/PKGBUILD b/PKGBUILD
index 652542634e85..913e4e26a3c5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
 pkgname=z3-bin
 pkgver=4.5.0
 pkgrel=1
-pkgdesc="An automatic theorem prover"
+pkgdesc="An automatic high-performance theorem prover"
 arch=(i686 x86_64)
 url="http://research.microsoft.com/en-us/um/redmond/projects/z3"
 license=('MIT')