From 4964237185209572f18bc69d7bfec80090360d8d Mon Sep 17 00:00:00 2001 From: odersky Date: Fri, 17 Nov 2023 12:22:17 +0100 Subject: [PATCH] Fix Export Doc Drop duplication [Cherry-picked 4da6884da33797e97a10c3f3f13e8b3070ce5186] --- docs/_docs/reference/other-new-features/export.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/_docs/reference/other-new-features/export.md b/docs/_docs/reference/other-new-features/export.md index e8482cb343d9..98e9a7d3d711 100644 --- a/docs/_docs/reference/other-new-features/export.md +++ b/docs/_docs/reference/other-new-features/export.md @@ -78,8 +78,6 @@ A member is _eligible_ if all of the following holds: It is a compile-time error if a simple or renaming selector does not identify any eligible members. -It is a compile-time error if a simple or renaming selector does not identify any eligible members. - Type members are aliased by type definitions, and term members are aliased by method definitions. For instance: ```scala object O: