From 317682738097903f8a709406aa1f033cfe753b1c Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 8 Dec 2023 20:55:01 +0100
Subject: [PATCH] Derive ModuleFP from AbstractAlgebra.Module (#3078)

---
 src/Modules/ModuleTypes.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Modules/ModuleTypes.jl b/src/Modules/ModuleTypes.jl
index d91c490bb6ac..f0b123bcc699 100644
--- 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}