From a8cbd298e92e13e261cc79550d6597c8c0b8416f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 31 Dec 2020 09:26:23 +0100
Subject: [PATCH] Typo.

---
 src/IFSeqSig.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/IFSeqSig.ml b/src/IFSeqSig.ml
index 95efb92..d66f142 100644
--- a/src/IFSeqSig.ml
+++ b/src/IFSeqSig.ml
@@ -1,10 +1,10 @@
 (* A signature for implicit finite sequences. *)
 
-(* This sequences are implicit, which means that they are not explicitly
-   represented in memory as an actual sequence of elements; instead, they are
-   *described* by a data structure which contains enough information to
-   produce an arbitrary element upon request. This design decision imposes
-   some constraints on the operations that can be efficiently supported; for
+(* These sequences are implicit, which means that they are not explicitly
+   represented in memory as actual sequences of elements; instead, they are
+   described by a data structure which contains enough information to produce
+   an arbitrary element upon request. This design decision imposes some
+   constraints on the operations that can be efficiently supported; for
    instance, [filter] is not supported. *)
 
 (* This signature forms an applicative functor. *)
-- 
GitLab