From e1ee59f6a45482e93901f6a549f594fd6ef15234 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Wed, 25 Jan 2023 13:12:01 -0800
Subject: New directory structure and corresponding extraction, + misc fixes,
 for Lean

---
 tests/lean/hashmap_on_disk/Hashmap.lean | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 tests/lean/hashmap_on_disk/Hashmap.lean

(limited to 'tests/lean/hashmap_on_disk/Hashmap.lean')

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
-- 
cgit v1.2.3