From 50e037ff7d7c78ab2ccae89461b5d9dd15d4d71a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 31 Dec 2020 10:29:09 +0100
Subject: [PATCH] Fix links in README.

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 14ed55b..f6a3399 100644
--- a/README.md
+++ b/README.md
@@ -13,7 +13,7 @@ although a detailed comparison has not been carried out.
 
 The library is laid out as follows:
 
-* The module [Feat.IFSeq](src/IFSeq.ml) implements
+* The module [Feat.IFSeq](src/IFSeq.mli) implements
   the signature [Feat.IFSEQ](src/IFSeqSig.ml)
   of (implicit, finite) **sequences**.
 
@@ -29,7 +29,7 @@ The library is laid out as follows:
   An enumeration of type `'a enum` is a function of a size `s`
   to a sequence of elements of size `s`.
 
-* The module [Feat.Bigint](src/Bigint.mli)
+* The module [Feat.Bigint](src/bigint.mli)
   offers a function `random` of type `Z.t -> Z.t`,
   thus repairing an unfortunate omission in the library `zarith`.
 
-- 
GitLab