From 8306f24c8ac74fe7635f8a48aae3b98367bd2716 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 9 Sep 2021 20:18:52 +0900
Subject: acl2: Fix typo.

---
 tojo-tokyo/packages/acl2.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tojo-tokyo/packages/acl2.scm')

diff --git a/tojo-tokyo/packages/acl2.scm b/tojo-tokyo/packages/acl2.scm
index d30d728..72b1fd0 100644
--- a/tojo-tokyo/packages/acl2.scm
+++ b/tojo-tokyo/packages/acl2.scm
@@ -54,7 +54,7 @@
                 "12ydcb3s4cwlk5mghxn0cah3fw698c27m8vpyjwyx219iq2c0h5l"))))
     (build-system gnu-build-system)
     (arguments
-     `(#:tests #f
+     `(#:tests? #f
        #:phases
        (modify-phases %standard-phases
          (replace 'configure
-- 
cgit v1.2.3