From 11fed6d9d3719fc6fbb1b631d3da8d4d90e5c49d Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 31 Mar 2021 02:20:10 +0900
Subject: Fix module name.

* tests/test-compile-acl2.scm: Fix module name.
---
 tests/test-compile-acl2.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/test-compile-acl2.scm b/tests/test-compile-acl2.scm
index bc1f1ea..8bfd669 100644
--- a/tests/test-compile-acl2.scm
+++ b/tests/test-compile-acl2.scm
@@ -17,7 +17,7 @@
 ;;; License along with Guile-ACL2.  If not, see
 ;;; <http://www.gnu.org/licenses/>.
 
-(define-module (tests vikalpa)
+(define-module (tests compile-acl2)
   #:use-module (srfi srfi-64)
   #:use-module (system base compile))
 
-- 
cgit v1.2.3