From 815d3cbfa2bf98b4b8f2bcd14819a20eca843e78 Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Sun, 5 Apr 2020 02:54:23 +0400
Subject: fix typos in documentation: text

---
 mathcomp/ssreflect/tuple.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/ssreflect/tuple.v')

diff --git a/mathcomp/ssreflect/tuple.v b/mathcomp/ssreflect/tuple.v
index 10d54f0..ed55b08 100644
--- a/mathcomp/ssreflect/tuple.v
+++ b/mathcomp/ssreflect/tuple.v
@@ -373,7 +373,7 @@ Variables (n : nat) (T : finType).
 (* tuple_finMixin could, in principle, be made Canonical to allow for folding *)
 (* Finite.enum of a finite tuple type (see comments around eqE in eqtype.v),  *)
 (* but in practice it will not work because the mixin_enum projector          *)
-(* has been burried under an opaque alias, to avoid some performance issues   *)
+(* has been buried under an opaque alias, to avoid some performance issues    *)
 (* during type inference.                                                     *)
 Definition tuple_finMixin := Eval hnf in FinMixin (@FinTuple.enumP n T).
 Canonical tuple_finType := Eval hnf in FinType (n.-tuple T) tuple_finMixin.
-- 
cgit v1.2.3