From 1f15e5e62ddfd4f01dfe56448d992b4919116039 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 22 Aug 2023 21:20:09 +0200
Subject: [PATCH] Remove redundant definition of 'identity' (#1526)

Julia already defines Base.identity with the correct semantics
---
 src/embedding/embedding.jl | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/embedding/embedding.jl b/src/embedding/embedding.jl
index 5a7b41d5e..10425436a 100644
--- a/src/embedding/embedding.jl
+++ b/src/embedding/embedding.jl
@@ -371,7 +371,6 @@ function embed(k::T, K::T) where T <: FinField
     # Special cases of k == K or degree(k) == 1
 
     if k == K
-        identity(x) = x
         morph = FinFieldMorphism(k, k, identity, identity)
         return morph