From 161e71546398145dd99c72055776f1d7a1601a50 Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Wed, 31 Jul 2024 15:12:36 +0200
Subject: [PATCH] format

---
 Stdlib/Data/Maybe.juvix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Stdlib/Data/Maybe.juvix b/Stdlib/Data/Maybe.juvix
index 89edc014..f3dbac8d 100644
--- a/Stdlib/Data/Maybe.juvix
+++ b/Stdlib/Data/Maybe.juvix
@@ -55,5 +55,5 @@ applicativeMaybeI : Applicative Maybe :=
     pure := just;
     ap {A B} : Maybe (A -> B) -> Maybe A -> Maybe B
       | (just f) (just x) := just (f x)
-      | _ _ := nothing;
+      | _ _ := nothing
   };