From a3ec02fd70db4b0d803b6e708036878a1e7e9604 Mon Sep 17 00:00:00 2001
From: Jonathan <11468613+j95io@users.noreply.github.com>
Date: Thu, 25 Sep 2025 10:19:15 +0200
Subject: [PATCH] Fix typo in types-adts-gadts.md

---
 _overviews/scala3-book/types-adts-gadts.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_overviews/scala3-book/types-adts-gadts.md b/_overviews/scala3-book/types-adts-gadts.md
index 356d01c16d..3f89a321df 100644
--- a/_overviews/scala3-book/types-adts-gadts.md
+++ b/_overviews/scala3-book/types-adts-gadts.md
@@ -142,7 +142,7 @@ enum Nat:
   case Zero
   case Succ(n: Nat)
 ```
-For example the value `Succ(Succ(Zero))` represents the number `2` in an unary encoding.
+For example the value `Succ(Succ(Zero))` represents the number `2` in a unary encoding.
 Lists can be defined in a very similar way:
 
 ```scala