From bc974a659195a6d0c5f41ebca22350226d9bd228 Mon Sep 17 00:00:00 2001
From: Matt Russell <MattRussellUK@gmail.com>
Date: Sun, 1 Dec 2024 15:09:37 +0000
Subject: [PATCH] wip

---
 Aoc2024/Utils.lean | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Aoc2024/Utils.lean b/Aoc2024/Utils.lean
index c3a9aac..215d194 100644
--- a/Aoc2024/Utils.lean
+++ b/Aoc2024/Utils.lean
@@ -32,8 +32,7 @@ instance [BEq α] [BEq β] : BEq (Except α β) where
     | Except.error x, Except.error y => x == y
     | _, _ => false
 
-def getOrThrow (message : String) (o : Option α) : Except String α :=
-  match o with
+def getOrThrow (message : String) : Option α -> Except String α
   | some x => pure x
   | none => throw message