diff options
Diffstat (limited to 'tests/test-compile-acl2.scm')
| -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)) |