From 6d7bb5ead24836e736ac91c716d699ec654cfead Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Fri, 17 Jan 2025 18:18:46 +0000
Subject: [PATCH] fix typo
---
src/libraries/monads/composition.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/libraries/monads/composition.mli b/src/libraries/monads/composition.mli
index 65ff12e118..a45665a64b 100644
--- a/src/libraries/monads/composition.mli
+++ b/src/libraries/monads/composition.mli
@@ -24,7 +24,7 @@
"interior monad" and a monad N called the "exterior monad", build
a monad of type ['a M.t N.t]. To be able to do so, one has to provide
a [swap] function that, simply put, swap the exterior monad out of
- the interior one. In other word, this function allows to fix
+ the interior one. In other word, this function allows fixing
"badly ordered" monads compositions, in the sens that they are
applied in the opposite order as the desired one.
--
GitLab