clean

math-comp · Sep 5, 2024 · fd79299 · fd79299
1 parent a7b6074
commit fd79299
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/topology.v b/theories/topology.v
@@ -4902,7 +4902,7 @@ End sup_uniform.
 HB.instance Definition _ (I : Type) (T : I -> uniformType) :=
   Uniform.copy (prod_topology T)
     (sup_topology (fun i => Uniform.class
-[the uniformType of weak_topology (@proj _ T i)])).
+      [the uniformType of weak_topology (@proj _ T i)])).
 
 (** PseudoMetric spaces defined using balls *)