cleanup: Main.lean -> Test.lean

extism · Jan 22, 2024 · 622e365 · 622e365
1 parent f24f53c
commit 622e365
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Main.lean → Test.lean b/Main.lean → Test.lean
diff --git 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