diff options
| author | Jonathan Protzenko | 2023-01-27 16:59:38 -0800 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | 1d6742c059cf53e73c9bc66cec7ac1f857830e78 (patch) | |
| tree | c1d1058b9fee9f12e9410b0a8930941728b2695c /tests/lean/hashmap_on_disk/HashmapMain.lean | |
| parent | 8f27b1e64ef3dab9a314df4794ae8c361a8ef3dd (diff) | |
WIP lots of stuff
Diffstat (limited to 'tests/lean/hashmap_on_disk/HashmapMain.lean')
| -rw-r--r-- | tests/lean/hashmap_on_disk/HashmapMain.lean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/lean/hashmap_on_disk/HashmapMain.lean b/tests/lean/hashmap_on_disk/HashmapMain.lean index e99d3a6f..99415d9d 100644 --- a/tests/lean/hashmap_on_disk/HashmapMain.lean +++ b/tests/lean/hashmap_on_disk/HashmapMain.lean @@ -1 +1 @@ -def hello := "world"
\ No newline at end of file +def hello := "world" |