Update to acl2-7.2-2

2 files changed, 3 insertions, 3 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 9d5e9bd92ab1..1159ea00ebe7 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=acl2
 pkgver=7.2
-pkgrel=1
+pkgrel=2
 pkgdesc='ACL2 theorem prover.'
 url='http://www.cs.utexas.edu/users/moore/acl2/'
 license=('BSD')
@@ -13,7 +13,7 @@ install=$pkgname.install
 source=("https://github.com/acl2-devel/acl2-devel/releases/download/$pkgver/acl2-$pkgver.tar.gz"
         'acl2')
 md5sums=('b5b61695a273104b8cd72d033e5d9f1b'
-         '284866c01f07fb5271e0a567cf93b228')
+         '6b092e8b98e399dc812f36445f1a9183')
 
 build() {
   cd $srcdir/acl2-$pkgver
diff --git a/acl2 b/acl2
index e408246ca838..636e5afd1d4c 100755
--- a/acl2
+++ b/acl2
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-/opt/acl2/saved_acl2h $@
+/opt/acl2/saved_acl2 $@