diff --git a/src/flint/FlintTypes.jl b/src/flint/FlintTypes.jl index dfed74ad5e..92c7e8faa8 100644 --- a/src/flint/FlintTypes.jl +++ b/src/flint/FlintTypes.jl @@ -3430,7 +3430,7 @@ end # ############################################################################### -@attributes mutable struct fpRelPowerSeriesRing <: SeriesRing{zzModRingElem} +@attributes mutable struct fpRelPowerSeriesRing <: SeriesRing{fpFieldElem} base_ring::fpField prec_max::Int S::Symbol