Update license

2 files changed, 3 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index aa5cafda0b31..ee1e18553191 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
 # Generated by mksrcinfo v8
-# Sun Nov 20 05:00:37 UTC 2016
+# Sun Nov 20 05:01:45 UTC 2016
 pkgbase = z3-bin
 	pkgdesc = An automatic theorem prover
 	pkgver = 4.5.0
@@ -7,7 +7,7 @@ pkgbase = z3-bin
 	url = http://research.microsoft.com/en-us/um/redmond/projects/z3
 	arch = i686
 	arch = x86_64
-	license = custom
+	license = MIT
 	source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip
 	md5sums = 243d48eb4c3531f323056040b94459ad
 
diff --git a/PKGBUILD b/PKGBUILD
index db1d5ff1257e..db657d1c997e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -7,7 +7,7 @@ pkgrel=1
 pkgdesc="An automatic theorem prover"
 arch=(i686 x86_64)
 url="http://research.microsoft.com/en-us/um/redmond/projects/z3"
-license=('custom')
+license=('MIT')
 source=("https://github.com/Z3Prover/z3/releases/download/z3-${pkgver}/z3-${pkgver}-x86-ubuntu-14.04.zip")
 md5sums=('243d48eb4c3531f323056040b94459ad')
 [[ "$CARCH" = x86_64 ]] && {