Remove redundant definition of 'identity' (#1526)

Julia already defines Base.identity with the correct semantics
Nemocas · Aug 22, 2023 · 1f15e5e · 1f15e5e
1 parent 1d474ab
commit 1f15e5e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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