From e2c1ddff4568237cf524623adf3575d0bc65f519 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Tue, 8 Oct 2024 21:36:01 +0200 Subject: [PATCH] Fix `fpRelPowerSeriesRing` supertype (#1884) --- src/flint/FlintTypes.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/flint/FlintTypes.jl b/src/flint/FlintTypes.jl index dfed74ad5..92c7e8faa 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