Test

samuelburnham · samuelburnham · commit f16de945caaa · 2025-10-31T18:35:36.000-04:00
diff --git a/Benchmarks/Main.lean b/Benchmarks/Main.lean
@@ -1,2 +1,3 @@
+-- Test
 def main (_args: List String) : IO Unit := do
   IO.println "Hello bench"

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
	`1`	`+-- Test`
`1`	`2`	`def main (_args: List String) : IO Unit := do`
`2`	`3`	`IO.println "Hello bench"`