diff options
author | Jonathan Protzenko | 2023-01-25 13:12:01 -0800 |
---|---|---|
committer | Son HO | 2023-06-04 21:44:33 +0200 |
commit | e1ee59f6a45482e93901f6a549f594fd6ef15234 (patch) | |
tree | c9d20fdc675823b058b7d364852c6a5d0bfaf729 /tests/lean/hashmap_on_disk/Hashmap.lean | |
parent | dee74ca1f90acb076289286f6f69df65e63604ce (diff) |
New directory structure and corresponding extraction, + misc fixes, for Lean
Diffstat (limited to 'tests/lean/hashmap_on_disk/Hashmap.lean')
-rw-r--r-- | tests/lean/hashmap_on_disk/Hashmap.lean | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/lean/hashmap_on_disk/Hashmap.lean b/tests/lean/hashmap_on_disk/Hashmap.lean deleted file mode 100644 index e99d3a6f..00000000 --- a/tests/lean/hashmap_on_disk/Hashmap.lean +++ /dev/null @@ -1 +0,0 @@ -def hello := "world"
\ No newline at end of file |