Update src/flint/FlintTypes.jl

Co-authored-by: Lars Göttgens <[email protected]>
Nemocas · Sep 26, 2024 · 18923be · 18923be
1 parent b8c8bfe
commit 18923be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/flint/FlintTypes.jl b/src/flint/FlintTypes.jl
@@ -6509,7 +6509,7 @@ const FlintInt = Union{Int, ZZRingElem}
 
 FlintInt(x::ZZRingElem) = x
 FlintInt(x::Integer) = ZZRingElem(x)::ZZRingElem
-if Int === Int64
+@static if Int === Int64
   FlintInt(x::Union{Int64,Int32,Int16,Int8,UInt32,UInt16,UInt8}) = Int(x)
 else
   FlintInt(x::Union{Int32,Int16,Int8,UInt16,UInt8}) = Int(x)