diff options
Diffstat (limited to 'tests/lean/hashmap_on_disk/lakefile.lean')
| -rw-r--r-- | tests/lean/hashmap_on_disk/lakefile.lean | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/lean/hashmap_on_disk/lakefile.lean b/tests/lean/hashmap_on_disk/lakefile.lean index d2a31ffe..5b9adebb 100644 --- a/tests/lean/hashmap_on_disk/lakefile.lean +++ b/tests/lean/hashmap_on_disk/lakefile.lean @@ -5,7 +5,11 @@ package «hashmap» { -- add package configuration options here } -lean_lib «Hashmap» { +lean_lib «HashmapMain» { + -- add library configuration options here +} + +lean_lib «Base» { -- add library configuration options here } |