From 72c824f3d93a737b9b8a51fa6a7c3060d2d40597 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Mar 2023 12:35:07 +0100
Subject: Remove the tests/lean/hashmap_on_disk/Main.lean file

---
 tests/lean/hashmap_on_disk/Main.lean | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 tests/lean/hashmap_on_disk/Main.lean

diff --git a/tests/lean/hashmap_on_disk/Main.lean b/tests/lean/hashmap_on_disk/Main.lean
deleted file mode 100644
index e87a933a..00000000
--- a/tests/lean/hashmap_on_disk/Main.lean
+++ /dev/null
@@ -1,10 +0,0 @@
-import Base.Primitives
-import HashmapMain.Funs
-
-#eval hashmap_test1_fwd == .ret ()
-
-def main : IO Unit :=
-  if hashmap_test1_fwd == .ret () then
-    IO.println s!"Test OK"
-  else
-    throw (IO.userError s!"Test failed")
-- 
cgit v1.2.3