From 0432e9edf274aaae0841dc1c3088b1fda529cdf3 Mon Sep 17 00:00:00 2001
From: Dale Wijnand <344610+dwijnand@users.noreply.github.com>
Date: Wed, 18 Jul 2018 11:07:00 +0100
Subject: [PATCH] Drop redundant extends clause in ADT docs

Seeing as it's not necessary, it's confusing to include it in a section about defining methods.
---
 docs/docs/reference/enums/adts.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/docs/reference/enums/adts.md b/docs/docs/reference/enums/adts.md
index 1d5c67d4f731..8eee1e1a76bd 100644
--- a/docs/docs/reference/enums/adts.md
+++ b/docs/docs/reference/enums/adts.md
@@ -64,7 +64,7 @@ As all other enums, ADTs can define methods. For instance, here is `Option` agai
 
 ```scala
 enum Option[+T] {
-  case Some(x: T) extends Option[T]
+  case Some(x: T)
   case None
 
   def isDefined: Boolean = this match {