fix(algebra/continued_fractions): fix import (#6677)

Just fix an import
leanprover-community · Mar 14, 2021 · feab14b · feab14b
1 parent b48cf17
commit feab14b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/algebra/continued_fractions/computation/approximation_corollaries.lean b/src/algebra/continued_fractions/computation/approximation_corollaries.lean
@@ -5,7 +5,7 @@ Authors: Kevin Kappelmann
 -/
 import algebra.continued_fractions.computation.approximations
 import algebra.continued_fractions.convergents_equiv
-import topology.instances.ennreal
+import topology.algebra.ordered
 /-!
 # Corollaries From Approximation Lemmas (`algebra.continued_fractions.computation.approximations`)