From f8f5ca30c690447156de8ca0a1bfb47202100382 Mon Sep 17 00:00:00 2001
From: Matt Russell <MattRussellUK@gmail.com>
Date: Sun, 1 Dec 2024 11:08:26 +0000
Subject: [PATCH] wip

---
 Main.lean | 13 +++++--------
 1 file changed, 5 insertions(+), 8 deletions(-)

diff --git a/Main.lean b/Main.lean
index bdb1016..639a207 100644
--- a/Main.lean
+++ b/Main.lean
@@ -11,11 +11,8 @@ def solve (name: String) (inputPath: String) : IO Unit := do
   IO.println s!"Part 2: {part2}"
 
 def main : IO Unit := do
-  try
-    IO.println "Day 01"
-    IO.println ""
-    solve "Example" "inputs/day01/example.txt"
-    IO.println ""
-    solve "Puzzle" "inputs/day01/input.txt" -- 2066446, 24931009
-  catch e =>
-    IO.println s!"Caught exception: {e}"
+  IO.println "Day 01"
+  IO.println ""
+  solve "Example" "inputs/day01/example.txt"
+  IO.println ""
+  solve "Puzzle" "inputs/day01/input.txt" -- 2066446, 24931009