From b69863b77899cfd6240b4c7f4a1cf32442f56193 Mon Sep 17 00:00:00 2001
From: Seasawher <tellagoodstory@icloud.com>
Date: Thu, 8 Aug 2024 21:28:13 +0900
Subject: [PATCH] small fix in P49

---
 Src/Problem49.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Src/Problem49.lean b/Src/Problem49.lean
index b0cb2e1..dc5130e 100644
--- a/Src/Problem49.lean
+++ b/Src/Problem49.lean
@@ -6,7 +6,7 @@ An n-bit Gray code is a sequence of n-bit strings constructed according to certa
 ```
 n = 1: C(1) = ['0','1'].
 n = 2: C(2) = ['00','01','11','10'].
-n = 3: C(3) = ['000','001','011','010',´110´,´111´,´101´,´100´].
+n = 3: C(3) = ['000','001','011','010','110','111','101','100'].
 ```
 
 Find out the construction rules and write a predicate with the following specification: