Add newline to satisfy linter

idris-lang · Mar 28, 2024 · 95cecc8 · 95cecc8
1 parent 881a2f9
commit 95cecc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/base/Control/Monad/Partial.idr b/libs/base/Control/Monad/Partial.idr
@@ -49,4 +49,4 @@ data Total : Partial a -> Type where
 public export
 runPartial : (x : Partial a) -> Total x -> a
 runPartial (Now v) TNow = v
-runPartial (Later x) (TLater t) = runPartial x t
+runPartial (Later x) (TLater t) = runPartial x t