Fix bug when running with py38

spapanik · May 3, 2024 · d681b18 · d681b18
1 parent ddfa465
commit d681b18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/mathlib/primes.py b/src/mathlib/primes.py
@@ -262,7 +262,7 @@ def factorise(n: int, known_primes: Iterable[int] = ()) -> dict[int, int]:
 
     if n != 1:
         missing_factors = factorise(n)
-        for factor in factors | missing_factors:
+        for factor in factors.keys() | missing_factors.keys():
             factors[factor] = factors.get(factor, 0) + missing_factors.get(factor, 0)
 
     return factors