From 2ac7b192b7d6338cd736da3a1bcad03c3ebeb3f3 Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <kiana.a.sheibani@gmail.com>
Date: Thu, 5 Dec 2024 06:08:51 -0500
Subject: [PATCH] style: remove unnecessary `do` block

---
 src/Data/Problem.idr | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Data/Problem.idr b/src/Data/Problem.idr
index 447e986..0cb1b04 100644
--- a/src/Data/Problem.idr
+++ b/src/Data/Problem.idr
@@ -80,10 +80,10 @@ solutionName (Pr day part) =
 
 public export
 fetchSolution : Problem -> Elab (String -> String)
-fetchSolution pr = do
+fetchSolution pr =
   let name = solutionName pr
-  check `(\s => Prelude.show (~(IVar EmptyFC name) s))
-    <|> fail "\{show name} does not exist as a valid solution"
+  in check `(\s => Prelude.show (~(IVar EmptyFC name) s))
+      <|> fail "\{show name} does not exist as a valid solution"
 
 public export
 fetchAllSols : (latest : Problem) -> Elab (SortedMap Problem (String -> String))