Merge pull request #906 from AlgebraicJulia/fixsigmamethod

Delete extraneous SigmaMigration method
AlgebraicJulia · May 7, 2024 · b7bcbd1 · b7bcbd1
2 parents 1d9f8e3 + 963c22c
commit b7bcbd1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/categorical_algebra/FunctorialDataMigrations.jl b/src/categorical_algebra/FunctorialDataMigrations.jl
@@ -190,7 +190,6 @@ SigmaMigrationFunctor(f,d::ACSet,::Type{T}) where T<:StructACSet = SigmaMigratio
 SigmaMigrationFunctor(f,d::Type{T′},::Type{T}) where {T<:StructACSet, T′<:StructACSet} = SigmaMigrationFunctor(f,d,T())
 SigmaMigrationFunctor(f,T,c::ACSet)  = SigmaMigrationFunctor(f,T(),constructor(c))
 SigmaMigrationFunctor(f,d::ACSet,T)  = SigmaMigrationFunctor(f,d,T())
-SigmaMigrationFunctor(f,T′,T) = SigmaMigrationFunctor(f,d,T())
 
 """
 Create a C-Set for the collage of the functor. Initialize data in the domain