Fix format problem

tweag · Jul 26, 2024 · 107d6a5 · 107d6a5
1 parent e1f837e
commit 107d6a5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/doc/manual/typing.md b/doc/manual/typing.md
@@ -335,9 +335,9 @@ Subtyping extends to type constructors in the following way:
 presence of a rule for function types, namely that `T -> U <: S -> V` if `S <:
 T` and `U <: V`. This is not the case in Nickel, for various technical reasons.
 However, you can work around this limitation by expanding a given function:
-If `f` has type `T -> U`, but a value of type `S -> V` is required, use `fun x => f x`
-instead, which has the same runtime behavior but isn't typed in the same
-way.
+If `f` has type `T -> U`, but a value of type `S -> V` is required,
+use `fun x => f x`instead, which has the same runtime behavior
+but isn't typed in the same way.
 
 ### Polymorphism