From e9e12e891bb49366d31b4db02220e74dd8e807f4 Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Mon, 29 Jan 2024 13:41:52 +0100
Subject: [PATCH] Drop redundant phrase

---
 shared              | 2 +-
 src/expressions.rst | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/shared b/shared
index 7bc477c2..ccc289ed 160000
--- a/shared
+++ b/shared
@@ -1 +1 @@
-Subproject commit 7bc477c29879ebfc03047869af549fcd2313ae6e
+Subproject commit ccc289edec6fe45b2987e4f3983d787396f2fe81
diff --git a/src/expressions.rst b/src/expressions.rst
index fd1218ee..a6a43e04 100644
--- a/src/expressions.rst
+++ b/src/expressions.rst
@@ -3629,9 +3629,6 @@ The :t:`type` of a :t:`closure parameter` is determined as follows:
 * :dp:`fls_mPWkIxTJErqx`
   Otherwise the :t:`type` is the specified :t:`type`.
 
-:dp:`fls_MeLJqy28J4jr`
-The :t:`type` of a :t:`closure parameter` is the :t:`type` of the :t:`closure parameter`.
-
 :dp:`fls_r6gWLoNR7JMR`
 The :t:`pattern` of a :t:`closure parameter` shall be an
 :t:`irrefutable pattern`.