Don't use StrEnum

flintlib · Sep 15, 2024 · 3e1c60c · 3e1c60c
1 parent e904b05
commit 3e1c60c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/flint/flint_base/flint_base.pyx b/src/flint/flint_base/flint_base.pyx
@@ -264,7 +264,7 @@ cdef class flint_poly(flint_elem):
         raise NotImplementedError("Complex roots are not supported for this polynomial")
 
 
-class Ordering(enum.StrEnum):
+class Ordering(enum.Enum):
     lex = "lex"
     deglex = "deglex"
     degrevlex = "degrevlex"