Remove redundant definition of 'identity'

Julia already defines Base.identity with the correct semantics
Nemocas · Aug 22, 2023 · 9731230 · 9731230
1 parent 1d474ab
commit 9731230
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