From dbfa4c47405ea4434aaef02bebf197911692c472 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Tue, 15 Oct 2024 15:36:57 +0200
Subject: [PATCH] README: remove a remark.

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 4126859..5916692 100644
--- a/README.md
+++ b/README.md
@@ -138,8 +138,7 @@ and their solutions:
 * final exam 2023-2024:
   [circuits and functors](exams/final-2023-2024.pdf).
 * mid-term exam 2023-2024:
-  [fixed point combinators and recursive types](exams/partiel-2023-2024.pdf)
-  **(the solution to Question 14 was wrong and has been fixed)**.
+  [fixed point combinators and recursive types](exams/partiel-2023-2024.pdf).
 * final exam 2022-2023:
   [safe unchecked arrays; branded types in Rust](exams/final-2022-2023.pdf).
 * mid-term exam 2022-2023:
-- 
GitLab