From b25e1ba0232a6251c0169bc3268307106c20229f Mon Sep 17 00:00:00 2001
From: Colin Jones <137637335+Colin166@users.noreply.github.com>
Date: Thu, 19 Jun 2025 09:52:23 -0400
Subject: [PATCH] Update GeneticCode.lean

---
 GeneticCode/GeneticCode.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/GeneticCode/GeneticCode.lean b/GeneticCode/GeneticCode.lean
index 64b4964..8a04669 100644
--- a/GeneticCode/GeneticCode.lean
+++ b/GeneticCode/GeneticCode.lean
@@ -75,9 +75,9 @@ deriving instance Repr for AminoAcid
 
 
 /- # General Definitions # -/
-def NucBase.isRNABase (b : NucBase) : Bool := b matches U | A | G | C
+def NucBase.isRNABase : Bool := n matches U | A | G | C
 
-def NucBase.isDNABase (b : NucBase) : Bool := b matches T | A | G | C
+def NucBase.isDNABase : Bool := n matches T | A | G | C
 
 def Redundant (f : α → β) : Prop := ¬ Injective f