Derive ModuleFP from AbstractAlgebra.Module (oscar-system#3078)

RafaelDavidMohr · Dec 8, 2023 · 3176827 · 3176827
1 parent 503d48c
commit 3176827
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Modules/ModuleTypes.jl b/src/Modules/ModuleTypes.jl
@@ -4,7 +4,7 @@
 The abstract supertype of all finitely presented modules.
 The type variable `T` refers to the type of the elements of the base ring.
 """
-abstract type ModuleFP{T} end
+abstract type ModuleFP{T} <: AbstractAlgebra.Module{T} end
 
 @doc raw"""
     AbstractFreeMod{T} <: ModuleFP{T}