From 3710fa7929452c13abd91c06d8b682f2cf48d942 Mon Sep 17 00:00:00 2001
From: Matt Russell <MattRussellUK@gmail.com>
Date: Mon, 2 Dec 2024 08:27:05 +0000
Subject: [PATCH] wip

---
 Aoc2024/Day02/Main.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Aoc2024/Day02/Main.lean b/Aoc2024/Day02/Main.lean
index 0157e99..1912491 100644
--- a/Aoc2024/Day02/Main.lean
+++ b/Aoc2024/Day02/Main.lean
@@ -12,4 +12,4 @@ def main : IO Unit := do
   IO.println ""
   solve "Example" "Aoc2024/Day02/inputs/example.txt"
   IO.println ""
-  solve "Puzzle" "Aoc2024/Day02/inputs/input.txt"
+  solve "Puzzle" "Aoc2024/Day02/inputs/input.txt" -- 534, 577