format

anoma · Jul 31, 2024 · 161e715 · 161e715
1 parent bc030a0
commit 161e715
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
   };