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 /language | |
| parent | e57bf57ed343a957568440ab4258b6c071962638 (diff) | |
Fix module name.
* tests/test-compile-acl2.scm: Fix module name.
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions