diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-31 02:20:10 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-31 02:20:10 +0900 |
commit | 11fed6d9d3719fc6fbb1b631d3da8d4d90e5c49d (patch) | |
tree | b0f181c581208f0ffe487e95c7498c57f6bf9fdc | |
parent | e57bf57ed343a957568440ab4258b6c071962638 (diff) |
Fix module name.
* tests/test-compile-acl2.scm: Fix module name.
-rw-r--r-- | tests/test-compile-acl2.scm | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |