From 622e365eb273bb7d26c975db5042a25b5b554368 Mon Sep 17 00:00:00 2001
From: zach <zach@dylibso.com>
Date: Mon, 22 Jan 2024 13:05:38 -0800
Subject: [PATCH] cleanup: Main.lean -> Test.lean

---
 Main.lean => Test.lean | 0
 lakefile.lean          | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename Main.lean => Test.lean (100%)

diff --git a/Main.lean b/Test.lean
similarity index 100%
rename from Main.lean
rename to Test.lean
diff --git a/lakefile.lean b/lakefile.lean
index 4f7e8eb..69eb760 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,7 @@ lean_lib Extism
 
 @[default_target]
 lean_exe test {
-  root := `Main
+  root := `Test
 }
 
 target bindings.o pkg : FilePath := do