From dc6bed2305a9c5bc9fa0261bd0ae082937f55ddc Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Fri, 14 Nov 2025 18:31:09 -0500
Subject: [PATCH] Test

---
 Benchmarks/Main.lean | 12 ++++++------
 lakefile.lean        |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/Benchmarks/Main.lean b/Benchmarks/Main.lean
index ddf9a11..171ab7f 100644
--- a/Benchmarks/Main.lean
+++ b/Benchmarks/Main.lean
@@ -1,12 +1,12 @@
 import Ix.Benchmark.Bench
 
-def add' (input: Nat): IO Nat := do
-  pure $ input + 1
+def sub (input: Nat): IO Nat := do
+  pure $ input - 1
 
-def addBench' := bgroup "Add'" [
-  benchIO "add' 1" add' 1,
-  benchIO "add' 10" add' 10
+def subBench := bgroup "Sub" [
+  benchIO "sub 1" sub 1,
+  benchIO "sub 10" sub 10
 ] { oneShot := true }
 
 def main : IO Unit := do
-  let _result ← addBench'
+  let _result ← subBench
diff --git a/lakefile.lean b/lakefile.lean
index 880747c..2572c82 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -13,7 +13,7 @@ lean_lib «Template» where
 lean_exe "template" where
   root := `Main
 
-lean_exe "bench-test" where
+lean_exe "bench-test-new" where
   root := `Benchmarks.Main
 
 script "get-exe-targets" := do